Dr. Joseph Eremondi

News

Oct ’22

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

May ’22
Mar ’21

I have successfully defended my thesis proposal: I am officially a PhD Candidate

Feb ’20

I was awarded the John McCarthy best paper award for my TFP 2019 paper