Since July 2019, I'm a Senior
Lecturer at the
University of
Birmingham.
I currently have some funding for
PhD students and postdocs. See
my
projects page for more information.
From September 2015 to May 2019, I was a Research
Associate in
the
CritiX
group led by
Prof. Paulo
Verissimo at the
SnT in Luxembourg,
working among other things on the
verification of distributed systems
and on intuitionistic type theory.
From January 2011 to July 2015, I was a postdoc and then a Research Associate in the
PRL group led by
Prof. Robert L. Constable, where I was using and working on
the foundations of the Nuprl proof
assistant.
While I was there, we built the
EventML
specification/programming language,
which we used to specify,
synthesize, and verify distributed
protocols such as
Paxos.
We also
implemented
Nuprl's
PER semantics in Coq.
From October 2006 to December 2010, I was a PhD student at
the
School of
Mathematical and Computer Sciences
at
Heriot-Watt University in
Edinburgh.
My supervisors were
Prof.
Fairouz Kamareddine
and
Dr. J. B. Wells of
the
ULTRA
group.