This is Mistral Contrastin's personal website. I am a computer science Ph.D. student at the University of Cambridge. Here you can find some information about my research, teaching as well as technical and cultural rumblings.

My research is in programming languages and verification. I worked on static analysis of Fortran (chill, using Haskell). I am now working on a Datalog variant for querying data under version control. I am also an ex-Rubyist, an up-and-coming Haskeller, and a wannabe Agda programmer.

I love fine arts of various sorts and working towards being a film buff. I do film photography and am trying to figure out how to play ney. If you can't find me reading papers in a café with no less than 10 types of coffee on their menu, I'm probably running mid-distance along the river Cam.

I have a Twitter account and I prefer mentions over emails, but if you have to, try [email protected]

Publications

Conference

Workshop

Editorial