Autograded resources for theoretical computer science
We are a team developing resources on the PrairieLearn platform to support the teaching of algorithms, data structures, and other theoretical aspects of computer science, at several different levels of the computer science curriculum at the University of Illinois. This development effort started with CS 374 (Algorithms and Models of Computation), but has since expanded to include several other classes at Illinois, including CS 173 (Discrete Structures), CS 225 (Data Structures}, CS 277 (Algorithms and Data Structures for Data Science), and CS 401/403 (Accelerated Fundamentals of Algorithms).
Jason Xia and Craig Zilles. Using context-free grammars to scaffold and automate feedback in precise mathematical writing. Proc. 54th SIGSCE, 479–485, 2023.
Jeff Erickson, Jason Xia, Eliot Wong Robson, Tue Do, Aidan Glickman, Zhuofan Jia, Eric Jin, Jiwon Lee, Patrick Lin, Steven Pan, Samuel Ruggerio, Tomoko Sakurayama, Andrew Yin, Yael Gertner, and Brad Solomon. Auto-graded scaffolding exercises for theoretical computer science. Proc. 2023 ASEE Annual Conference, 2023.
Caleb Evans and Eliot W. Robson. automata: A Python package for simulating and manipulating automata. J. Open Source Software 8(90):5759, 2023.
🔥 Eliot W. Robson, Samuel Ruggerio, and Jeff Erickson. FSM Builder: A tool for writing autograded finite automata questions. Proc. 29th ITiCSE, 269–275, 2024.
Developers:
Instructors that have used resources in this repository in their courses:
Funding:
This project is primarily funded by the Grainger College of Engineering, through the Strategic Instructional Innovations Program, under the auspices of the Academy for Excellence in Engineering Education, with matching funds from the Department of Computer Science (now the Siebel Schhol of Computing and Data Science) since July 2023. The current faculty members of the SIIP team are Jeff Erickson (PI), Carl Evans, Yael Gertner, and Brad Solomon; the 2022–23 startup SIIP team also included Tiffani Williams.
🔥 Related research is funded by NSF grant CNS-2434363. “Theory-ABCs: Transforming online theory instruction while building ability, belonging, and confidence”, led by Diana Franklin (Univerity of Chicago), with Jeff Erickson (Illinois PI), Yael Gertner, Geoffrey Herman (Illinois co-PI), and Seth Poulsen (Utah State PI).
Other Acknowledgments: Many thanks to the core PrairieLearn development team, especially Dave Mussulman, Seth Poulson, Nathan Walters, and Matt West. FInally, we thank the roughly 3500 students in CS 374, CS 225, and CS 173 who have used these resources, for their patience, frustration, and helpful feedback.