I was awarded the Royal Society Newton International Fellowship. In 2023, I will begin a postdoc in Edinburgh 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