Working with me
For University of Toronto students who want to do a project course or summer research with me. Most of my student projects are done in small teams and aim at something other people can use or read: a public tool, a repository, or a paper.
Ways to work together
- Project and reading coursesCSC392, CSC393, CSC492, CSC493 and CSC494. A course gives the project a term, a grade, and a clear end point.
- Summer researchFunded summer positions such as the NSERC Undergraduate Student Research Award (USRA) are full-time over the summer term. Applications close well before the summer starts, so write to me early in the winter term.
Kinds of projects
- Tools for teaching computationLanguages, debuggers and interactive lessons for Turing machines, logic and algorithms. Varphi started this way.
- Evaluating AI on mathematics and codeBenchmarks with answer keys that are checked by running code, theorem proving in Lean 4, and finding where models are confidently wrong.
- Quantum annealing case studiesCombinatorial problems formulated for D-Wave hardware, with careful comparison against classical methods.
- Logic and computable structure theoryCloser to mathematics than to computer science. A good fit if you have taken a course in logic or computability and want to read and organize recent research.
How to get in touch
Email me at mo.mahmoud [at] utoronto.ca with:
- the course code or position you are asking about, and the term;
- a short paragraph on what you would like to work on, even if it is only a direction;
- the relevant courses you have taken;
- a link to something you have built or written, if you have one.