Get my own profile
Co-authors
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
Marwan FayedCloudflare Inc., and University of St AndrewsVerified email at st-andrews.ac.uk
Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
Roberto André HexselProfessor of Computer Science, Dept of Informatics, Universidade Federal do ParanáVerified email at inf.ufpr.br
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Follow![Michael Fourman](/citations/images/avatar_scholar_128.png)
![Michael Fourman](/citations/images/avatar_scholar_128.png)
Michael Fourman
School of Informatics, The University of Edinburgh
Verified email at ed.ac.uk - Homepage