Personal tools
You are here: Home People

People

Details of LFCS members.

 Academic staff

DonS Donald Sannella, Acting Director
Personal Page

  • Algebraic specification and formal software development
  • Correctness of modular systems
  • Types and functional programming
  • Resource certification for mobile code
Stephen Gilmore Stephen Gilmore, Director
Personal Page

  • Formal methods of program development
  • Formal specifications
  • Software engineering
  • Concurrent systems
Stuart Anderson Stuart Anderson
Personal Page

  • Design and analysis of dependable systems
  • Formal proof in systems  development

 

No photo

Myrto Arapinis
Personal Page


  • Verification of cryptographic protocols: verification of security properties, detection of attacks, formal models, protocol composition
  • Privacy in mobile telephony, electronic voting, statistical databases

David Aspinall
David Aspinall
Personal Page

  • Computer security (particularly proof-carrying code)
  • Type systems for specification and programming languages 
  • Proof development environments
 
Julian Bradfield Julian Bradfield
Personal Page

  • Modal and temporal logics 
  • Model-checking, concurrency, independence logics, descriptive complexity and set theory
  • UML and modelling languages
Peter Buneman
Peter Buneman
Personal Page

  • Databases: data models, query languages, semistructured data, data provenance, databases and programming languages
  • Programming languages: functional programming and type systems 
  • Bioinformatics and scientific databases
  • Mathematical phylogeny
James Cheney James Cheney
Personal Page

  • Programming languages
  • Logic
  • Scientific databases
  • Provenance
  • Verification
No photo Mary Cryan
Personal Page

  • Randomized algorithms, especially algorithms for sampling and counting
  • Learning theory
  • Algorithms for computational biology
 
No photo Vincent Danos
Personal Page

  • Foundational approaches to quantitative biology 
  • Syntaxes for representing, modelling, and understanding large protein networks
  • Concurrent and stochastic systems
Ilias Diakonikolas
Ilias Diakonikolas
Personal Page

  • Algorithms
  • Computational Complexity
  • Learning
  • Game Theory
KoushaE Kousha Etessami
Personal Page

In general, theoretical computer science.
More specifically:
  • Automated verification, logic, algorithms and computational complexity theory, algorithmic game theory, equilibrium computation, analysis of probabilistic systems, Markov decision processes, stochastic games, automata theory, model checking, analysis of infinite-state systems, finite model theory and descriptive complexity.
WenfeiF Wenfei Fan
Personal Page

  • Database theory and systems: data integration, data quality, query languages, database security, XML, distributed query processing, integrity constraints, and applications
  • Web services: models, verification, composition and aggregation
  • Logic and computation
No photo Michael Fourman
Personal Page

  • Formal models of digital systems
  • System-design tools
  • Proof assistants
  • Categorical semantics
  • Propositional planning
Andrew D. Gordon Andrew D. Gordon
Personal Page

  • Computer security
  • Programming languages and their semantics and logics
  • Probabilistic programming for machine learning
Chris Heunen

Chris Heunen
Personal Page

  • Semantics of quantum theory and programming languages
  • Category theory
  • Quantum logic
  • Functional analysis

Jane Hillston
  • Quantitative formal modelling
  • Markov processes and performance modelling
  • Process algebra
  • Fluid approximation techniques
  • Spatial modelling
  • Collective adaptive systems
Paul Jackson
Paul Jackson
Personal Page

  • Mechanical theorem proving
  • Reactive systems
  • Linear temporal logic
No photo Kyriakos Kalorkoti
  • Computational complexity 
  • Computer algebra
  • Decision problems in group theory
Elham Kashefi
Elham Kashefi
Personal Page


  • Verification of Quantum Technology
  • Quantum Interactive Proof Systems
  •  Delegated Quantum Computing
  • Experimental Implementation of Quantum Protocols
  • Foundation of Quantum Mechanics
  • Quantum Parallel Computing
  •  New Models for Quantum Computing
No photo Aggelos Kiyias
Personal Page

Cryptography and Computer Security with particular emphasis on

  • Blockchain based protocols including cryptocurrencies, bitcoin etc

  • E-voting systems, design, implementation, analysis

  • Cryptography for digital content distribution. Privacy-preserving cryptographic protocols.


Leonid Libkin
Leonid Libkin
Personal Page

  • Databases
  • Applications of logic in computer science

 


No photo John Longley
Personal Page

  • Higher type computability
  • Semantics of programming languages 
  • Program verification
Sebastian Maneth
Sebastian Maneth
  • Databases
  • Automata Theory and Applications
  • Data Compression
Richard Mayr
Richard Mayr
Personal Page

  • Automated verification
  • Automata and temporal logic
  • Model-checking and semantic equivalence checking
  • Formal verification of real-time and probabilistic systems
  • Infinite-state Markov chains
  • Stochastic games
Gordon Plotkin
Gordon Plotkin
Personal Page

Applications of logic, especially:
  • The denotational and operational semantics of programming languages 
  • Type-theory
  • Domain-theoretic and categorical analyses of computation
  • General proof theory
  • The semantics of natural language
  • Process calculi and computational biology
Ajitha Rajan Ajitha Rajan
Personal Page

Software engineering with particular focus on;
  • Software Testing (test generation, coverage metrics, test oracles, regression testing)
  • Analysis of concurrent programs including CUDA/OpenCL programs 
  • Software complexity metrics and their applications
  • Cost models for testing and maintenance
Rahul Santhanam Rahul Santhanam
Personal Page

  • Computational complexity theory and applications to cryptography
  • Game theory and learning theory
  • Algorithms
Rik Sarkar Rik Sarkar 
Personal Page

  • Networks
  • Protocols 
  • Algorithms
  • Mobile computing
  • Sensor networks
  • Geometry
No photo Alan Smaill
  • Constructive logics and non-realist semantics
  • Reflection principles and their application within automated reasoning systems
  • Theorem proving in relation to programming

Ian Stark
Ian Stark
Personal Page

  • Semantics of computation,
  • Functional programming
  • Concurrency
  • Category theory
  • Domain theory
Perdita Stevens
Perdita Stevens 
Personal Page

  • Software engineering
  • Concurrency
  • Logic
  • Verification

 

No photo Colin Stirling
Personal Page

  • Models of concurrent computation, 
  • Modal and temporal logics
  • Verification of program properties
Stratis Viglas Stratis Viglas 
Personal Page

  • Database systems
  • Query optimisation
  • Data stream processing
  • Database theory
  • XML 
  • Peer-to-peer networks
Philip Wadler Philip Wadler
Personal Page

  • Programming languages
  • Functional programming
  • Lambda calculus
  • Propositions-as-types
  • Integrating static and dynamic typing
  • Integrating queries into programming languages
  • Session types and linear logic
  • Web programming
  • Haskell, Erlang, F#, Java, Links, LINQ, Scala, XML, XQuery
Petros Wallden
Petros Wallden
Personal Page

  • Quantum Computing
  • Quantum Cryptography
  • Quantum Information Theory
  • Foundations of Quantum Mechanics
  • Quantum Gravity

 

 

Research staff

 

No photo

Nicholas Behr


No photo

Marc Kaplan

Personal Page
No photo


Brian Campbell
Personal Page




No photo

Sam Lindley
Personal Page


Yang Cao Yang Cao
Personal Page

Garrett Morris Garrett Morris
Personal Page
No photo



Ruiwen Chen





No photo James McKinna
Personal Page

No photo

Wei Chen


Anna Pappa Anna Pappa
Personal Page
No photo



Cristina Civilli





Roland Perera


Roly Perera
Personal Page


No photo Fredrik Dahlqvist

No photo Daniel Reijsbergen
Personal Page
No photo
Diego Figueira
Wilmer Ricciotti Wilmer Ricciotti
Nadime Francis

Nadime Francis




Nassim Seghir Nassim Seghir
Personal Page
Vashti Galpin



Vashti Galpin
Personal Page


No photo


Slawek Staworko
Personal Page




No photo
Ilias Garnier



No photo Alistair Stewart
Tomasz Gogacz
Tomasz Gogacz
No photo Patrick Totzke
No photo




Andrea Weisse

Andrea Weisse

Postgraduate Students

 

Danel Ahman Danel Ahman
Personal Page

Supervisors:
Gordon Plotkin
Ian Stark



Karoliina Lehtinen
Karoliina Lehtinen

Supervisors:
Julian Bradfield
Sandra Quickert


Ricardo Almeida
Ricardo Almeida

Supervisors:
Kousha Etessami
Richard Mayr

No photo
Kristjan Liiva

Supervisors:
Paul Jackson
Grant Passmore


No photo Maria Astefanoaei

Supervisors:
Mirella Lapata
Rik Sarkar


Howard Lin

Hengshuai (Howard) Lin

Supervisors:
Stuart Anderson
Brian McKinstry



No photo Veselin Blagoev

Supervisors:
Mary Cryan
Kusha Etessami

No photo

Mark MacGillivray

Supervisors:
Stuart Anderson
Mark Hartswood



Yang Cao Yang Cao
Personal Page

Supervisors:
Wenfei Fan
Leonid Libkin

 No photo Craig McLaughlin

Supervisors:
Ian Stark

No photo Arthur Chan

Supervisors:
David Aspinall
James Cheney

No photo
Daniel Mills

Supervisors:
Elham Kashefi
Rik Sarkar


Andreas Chatzistergioy
Andreas Chatzistergiou

Supervisors:
Vijay Nagarajan
Stratis Viglas



No photo Shayan Najd

Supervisors:
Philip Wadler
Sam Lindley



No photo Radu Ciobanu

Supervisor:
Kusha Etessami
Richard Mayr


Vladimir Nikishkin
Vladimir Nikishkin
Personal Page

Supervisors:
Ilias Diakonikolas
Rahul Santhanam

Hadi Daneshvar

Hadi Daneshvar Farzanegan
Personal Page

Supervisors:
Stuart Anderson
Robin Williams


No photo

Uchenna Nnabuko


Supervisors:
Stuart Anderson


Stefan Fehrenbach Stefan Fehrenbach
Personal Page

Supervisor:
James Cheney


No photo Chrystalla Pavlou

Supervisors:
Ilias Diakonikolas
Kusha Etessami

Hadi Daneshvar Hadi Daneshvar Farzanegan
Personal Page

Supervisors:
Stuart Anderson
Robin Williams

No photo  
Fabian Peternek

Supervisors:
Peter Buneman
Sebastian Maneth
Stefan Fehrenbach Stefan Fehrenbach
Personal Page

Supervisor:
Peter Buneman
James Cheney


No photo
Paul Piho

Supervisors:
Jane Hillston
Alan Smaill


Cheng Feng Cheng Feng

Supervisors:
Jane Hillston
Gordon Plotkin

 No photo
Andrew Sogokon

Supervisors:
Paul Jackson
Jacques Fleuriot



No photo Simon Fowler
Personal Page

Supervisors:
Vijay Nagarajan
Philip Wadler
Sam Lindley

No photo
Panos Stratis

Supervisors:
David Aspinall
Ajitha Rajan

Daniel Franzen Daniel Franzen

Supervisors:
David Aspinall
Ian Stark

No photo Marcin Szymczak

Supervisors:
David Aspinall
Andrew D. Gordon

No photo Weili Fu

Supervisor:
Paul Anderson
James Cheney

 No photo

Chao Tian

Supervisors:
Wenfei Fan
Leonid Libkin



Anastasis Georgoulas
Anastasios Georgoulas
Personal Page

Supervisors:
Jane Hillston
Guido Sanguinetti



Ludovica Ludovica Luisa Vissat

Supervisor:
Jane Hillston
Glenn Marion

Alexandru Gheorghiu photo Alexandru Gheorghiu

Supervisors:
Myrto Arapinis
Elham Kashefi

No photo


William Waites
Personal Page

Supervisors:
Murray Cole
Vincent Danos



No photo Abhirup Ghosh

Supervisors:
Mahesh Marina
Rik Sarkar

No photo Jack Williams

Supervisors:
Phil Wadler
Sam Lindley

No photo Joseph Hallett

Supervisors:
David Aspinall
Bjoern Franke

Jingbo
Jingbo Xu
Personal Page

Supervisor:
Wenfei Fan
Leonid Libkin



Ricardo Honorato
Ricardo Honorato

Supervisors:
Vincent Danos
Gordon Plotkin


No photo
Vanya Yaneva
Personal Page

Supervisors:
Christophe Dubach
Michael O'Boyle

 Ruizhe Huang Ruizhe Huang

Supervisors:
Wenfei Fan
Leonid Libkin

Guoli Yang
Guoli Yang

Supervisors:
Vincent Danos
Michael Herrmann
No photo

Theodoros Kapourniotis

Supervisors:
Rahul Santhanam
Elham Kashefi




No photo
Jakub Zalewski

Seupervisors:
Hugh Leather
Phil Wadler
No photo Martti Karvonen

Supervisor:
Thomas Leinster
Chris Heunen

No photo
Natalia Zon

Supervisor:
Stephen Gilmore

Daniel Reijsbergen


 Yota Katsikouli
Panagiota Katsikouli
Personal Page

Supervisors:
Mahesh Marina
Rik Sarkar


 No photo
No photo
Benedict Kavanagh
Personal Page

Supervisors:
James Cheney
Philip Wadler

 

 

Support Staff

 

Associate Members

 

Honorary Members

  • Christoph Lueth
  • John Power
  • Rod Burstall
  • Ewen Denney

 

Visitors

  • Rahul Santhanam

 

Commercialisation

 

Document Actions