I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge
Reputation
0
Profile views
1
Joined
Last Online
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge