Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Leo WhiteJane StreetVerified email at lpw25.net
Anil MadhavapeddyProfessor of Planetary Computing, University of CambridgeVerified email at cl.cam.ac.uk
Ningning XieUniversity of TorontoVerified email at cs.toronto.edu
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
KC SivaramakrishnanIIT Madras / TaridesVerified email at iitm.ac.in
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Tamara von GlehnDeepMindVerified email at google.com
Alban ReynaudENS de LyonVerified email at ens-lyon.fr
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Ted BriscoeProfessor of Natural Language Processing, MBZUAIVerified email at mbzuai.ac.ae
Anna KorhonenProfessor, Artificial Intelligence, University of CambridgeVerified email at cam.ac.uk
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk