Models of Computation (COMP30026)
Core CS Undergraduate, The University of Melbourne, 2022
Approximately 600 students enrolled. Teaching theory of computation, including logic, SAT solving, finite state automata.
Bach Le
Senior Lecturer @ The University of Melbourne. Former Fellow of Australian Research Council DECRA Award (2022 - 2024)
- VIC, Australia
- The University of Melbourne
- Google Scholar
- GitHub