Academic staff, research staff and students affiliated with Programming Languages and Foundations


Many people in LFCS and across the School of Informatics have research interests that overlap with programming languages and verification topics.  The following list is non-exhaustive, and just identifies staff whose main activity is currently focused on foundational aspects of programming languages. 

Academic Staff

Member Interests
James Cheney Programming languages, databases, logic/verification.  Applications to provenance, scientific data management, and security.
Andrew D. Gordon  
Chris Heunen

Foundations of quantum programming languages and their interaction with classical, reversible, and probabilistic programming, mostly through categorical semantics.

Sam Lindley  
John Longley  
Ohad Kammar Programming language theory, and category theory and logic in computer science
Liam O'Connor  
Gordon Plotkin  
Elizabeth Polgreen program synthesis methods and applications, software verification
Don Sannella  

Ian Stark

Mathematical models for programming languages and concurrent systems.

Philip Wadler    


Research Staff

Member Interests
Brian Campbell  
Vashti Galpin  
Daniel Hillerström  
Wilmer Ricciotti  
Jan Stolarek  
Robert Wright  


PhD Students

Member Interests/topic
Sándor Bartha Programming language semantics synthesis
Frank Emrich Type inference
Rudi Horn Language-based updatable views
Wen Kokke Linearity, session types
Benedict Kavanagh Nominal unification
Jesse Sigal Probabilistic and differentiable programming


Recent Alumni 

Member Destination
Danel Ahman PhD -> Ljublana
Sheung Chi (Arthur) Chan PhD -> Heriot Watt
Wei Chen Postdoc -> Huawei
Christopher Banks PhD -> Roslin Institute
Stefan Fehrenbach PhD -> Proda
Simon Fowler PhD -> Glasgow

Weili Fu

PhD -> Freiburg
Joseph Hallett PhD -> Bristol
Ilias Garnier Postdoc -> ENS Paris
Martti Karvonen PhD -> Ottawa
Craig McLaughlin PhD -> UNSW
Pau Enrique Moliner PhD -> ThinkTank
Nassim Seghir Postdoc -> UCL
Daniel Franzen  
James McKinna Postdoc -> Heriot Watt faculty

Associated Staff


The following academic staff members have primary research interests in other areas, but with a significant overlap with foundational programming languages or verification.

Associated member Interests
Myrto Arapinis Security
David Aspinall Programming languages and type systems approaches applied to formal methods, theorem proving and applications in security, privacy and trust.
Peter Buneman Databases
Elham Kashefi Quantum computation, security
Ajitha Rajan Software testing and verification applied to smart contract in blockchains, Android Apps, GPU kernels, computer vision tasks in self-driving cars, AI techniques for cancer therapy.
Amir Shaikhha Databases
Perdita Stevens Software engineering
Michel Steuwer Compilers, Program Optimizations, Rewriting, Domain Specific Languages