This is Mistral Contrastin's personal website. I work on the typechecker for the Hack language at Meta, 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, I'm probably scaling some cliff somewhere nice or covered in chalk pulling on resin.

Contact me on Twitter or email me at the reverse of moc.liamg@citehnegdam.

Talks

Publications

Conference

Workshop

Editorial

Duty