People

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.
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
Sándor Bartha  
Brian Campbell  
Frank Emrich  
Vashti Galpin  
Wilmer Ricciotti  
Jesse Sigal  
Robert Wright  

 

PhD Students

Member Interests/topic
Wen Kokke Linearity, session types

 

Recent Alumni 

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

Weili Fu

 PhD -> Freiburg
Joseph Hallett PhD -> Bristol
Ilias Garnier Postdoc -> ENS Paris
Rudi Horn PhD -> Oracle
Martti Karvonen PhD -> Ottawa
Craig McLaughlin PhD -> UNSW
Pau Enrique Moliner PhD -> ThinkTank
Nassim Seghir Postdoc -> UCL
Jan Stolarek Postdoc -> BinarApps sp. z o.o.
Daniel Franzen PhD -> FU-Berlin
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

This article was published on