Previously, I was the lead developer of the K Framework at Runtime Verification. K is a framework for developing mechanised operational semantics of programming languages. I was responsible for developing the underlying compiler technology, specifying and developing commercial language implementations using K, and managing the development of the broader K tooling ecosystem.
I hold a PhD from the University of Edinburgh, supervised by Professor Michael O'Boyle. My research focused on two-phase, type-directed program synthesis as a way of learning the behaviour of black-box interfaces, at the intersection of formal methods and systems research.
In my free time I play rugby at Lismore RFC.
You can email me at moc.noitacifirevemitnur@eilloc.ecurb, or tweet me at @__inshorts. All my code is on Github, and you can get an up-to-date copy of my CV here.