This is Mistral Contrastin's personal website. I work on the typechecker for the Hack language at Facebook, London. I used to be a Ph.D. student at the University of Cambridge.

My research is on programming languages and verification with a particular interest in declarative languages such as Datalog. Previously, I worked on static analysis of Fortran using Haskell.

I love arts, especially literature and cinema. I am learning to blow the ney. If you can't find me getting something to typecheck in a café, I'm probably running mid-distance or rollerblading around the Regent's Park in London.

Contact me on Twitter or email me at [email protected].

Talks

Publications

Conference

Workshop

Editorial

Duty