This is Mistral Contrastin's personal website. I am a computer science Ph.D. student at the University of Cambridge.

My research is in programming languages and verification. I currently work on extending capabilities of Datalog. Previously, I worked on static analysis of Fortran using Haskell. I am also an ex-Rubyist, an up-and-coming Haskeller, and a wannabe Idris programmer.

I love arts and am working towards being a film buff. I also do film photography and am learning to blow ney. If you can't find me getting something to type check in a café, I'm probably running mid-distance along the river Cam.

Contact me on Twitter or email me at [email protected] if you must.

Talks

Publications

Conference

Workshop

Editorial

Duty