I am Sacha, PhD Student at Imperial College under the supervision of Philippa Gardner and a member of the Verified Trustworthy Software Specification Group. I am working on Gillian, a parametric symbolic execution tool for symbolic testing, verification and automatic compositional testing. My full CV is available here.
In my free time, I try to contribute to some open-source projects I love. I am an OCaml enthousiast, amateur magician and I like to rollerblade my way through London.