I am an Assistant Professor, recruiting PhD students to research programming languages theory with me at the University of Regina in Canada. Specific areas of interest include:

• Programming with dependently typed languages, like Lean, Agda, Idris, and Coq
• Improving usability of dependently typed programming languages
• Gradual types and gradual dependent types
• Live programming environments for dependent types
• Static analysis of dependently typed programs
• Ordinal notations and termination proofs
• Error messages and repair suggestions for static and dynamic type errors
• Dependent pattern matching - semantics and implementation

Graduate students at the U of R have the opportunity to be part of a small, focused research group where you can work closely with your advisor. Regina is one of Canada’s most affordable cities to live in, and students have access to Canada’s universal health care. Students are funded by stipend, and have the opportunity to gain experience as a Teaching Assistant or Sessional Lecturer.

Out of cycle applications are possible, so any interested students should contact me to discuss the application process.

For more information on applying, visit https://www.uregina.ca/science/cs/graduate/future-grad/index.html. Any questions for me specifically can be directed to me by email.