Started as Assistant Professor at University of Regina.
Gave a talk at the Scottish Programming Languages Seminar about my postdoc research on pattern matching, video here
Gave a talk at the University of Strathclyde MSP101 Seminar Series about gradual dependent types, video here
Successfully defended PhD thesis “On The Design of a Gradual Dependently Typed Language for Programming”. The final version of my dissertation can be read here.
Awarded the Royal Society Newton International Fellowship with Ohad Kammar, researching improved semantics for dependent pattern matching
New paper : Propositional Equality for Gradual Dependently Typed Programming accepted to ICFP 2022
I have successfully defended my thesis proposal: I am officially a PhD Candidate
I was awarded the John McCarthy best paper award for my TFP 2019 paper
New paper : Improving Error Messages for Dependent Types