Back

Well, this seems as good a time as any to post that I am seeking PhD students to join my research group in Regina, Canada.

My current research projects involve:
* Gradual dependently typed languages
* Improved semantics and ergonomics for dependent pattern matching and termination
* Improving error messages for dependently typed languages

If you're interested in systems like Agda, Idris, Lean, or Rocq then I encourage you to apply. Regina is a mid-sized city in Canada, and you would have the chance to be in a tightly-focused research group and to have regular contact with me as your supervisor.

Prior experience is not necessary, but it's a plus to have any experience with programming languages, functional programming, logic, type theory, or category theory.

The deadline to apply technically Feburary 15, but I can initiate an out-of-cycle review for a promising candidate. More information about the application process can be found here: https://www.uregina.ca/science/computer-science/graduate-programs/index.html

Feel free to boost, or to contact me with further questions!

(Note that I don't currently have openings for MSc students unless you have external funding, like an NSERC CGS-M or something similar).