Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
Liron CohenComputer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalVerified email at kent.ac.uk
Steffen van BakelImperial College LondonVerified email at doc.ic.ac.uk
Nikos GorogiannisFacebook LondonVerified email at fb.com
Scott OwensUniversity of KentVerified email at kent.ac.uk
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Victor-Alexandru DarvariuResearch Fellow in Machine Learning, University College LondonVerified email at ucl.ac.uk
Simon DochertyUniversity College LondonVerified email at ucl.ac.uk
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il