Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Paolo Capriotti
pcapriotti
Senior Haskell Developer at Wire.
Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
Wire Fermo, Italy