Cambridge
http://www.jonmsterling.com/
I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.
A tool for scientific thought
TypeSynth: Synthetic Methods in Program Verification (MSCA Fellowship Project)