Lezhou L

Computer science PhD student.

Academic tutoring

The University of Melbourne

Models of Computation
COMP30026
2024 Semester 2		 Logic, formal languages, automata theory, computability.
Declarative Programming
COMP90048
2025 Semester 1		 Logic (Prolog) and functional (Haskell) programming.

Publications

Soon ...hopefully.

Links

GitHub