Personal tools
You are here: Home People

People

Details of LFCS members.

 Academic staff

null Kousha Etessami, Director
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.
Stuart Anderson Stuart Anderson
Personal Page

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

 

Myrto Arapinis's photograph

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
 
Vincent Danos Vincent Danos
Personal Page

  • Foundational approaches to quantitative biology 
  • Syntaxes for representing, modelling, and understanding large protein networks
  • Concurrent and stochastic systems
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
Stephen Gilmore Stephen Gilmore
Personal Page

  • Formal methods of program development
  • Formal specifications
  • Software engineering
  • Concurrent systems
Andrew D. Gordon Andrew D. Gordon
Personal Page

  • Computer security
  • Programming languages and their semantics and logics
  • Probabilistic programming for machine learning
Heng Guo

Heng Guo
Personal Page

  • Theoretical Computer Science
  • especially algorithms that count
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
Aggelos Kiayias Aggelos Kiayias
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.


Markulf Kohlweiss
Markulf Kohlweiss
Personal Page

  • Verification of cryptographic implementations
  • cryptographic currencies and zero-knowledge proof systems
  • privacy and anti-surveillance
  • ethics in cryptography
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
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
Andreas Pieris Andreas Pieris

  • Database Theory
  • Knowledge Representation and Reasoning
  • Logic in Computer Science
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
DonS Donald Sannella
Personal Page

  • Algebraic specification and formal software development
  • Correctness of modular systems
  • Types and functional programming
  • Resource certification for mobile code
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
No photo He Sun
Personal Page

  • Spectral graph theory
  • Matrix analysis
  • Applied probability
null Kami Vaniea
Personal Page

  • Security
  • Human Computer Interaction
  • Usable Privacy and Security
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
Vassilis Zikas
Vassilis Zikas
Personal Page

  • Cryptography
  • Computer Security
  • Game Theory
  • Distributed Computing
  • Cryptocurrencies
  • Blockchain Technologies

  

Research staff

 

No photo

Sidahmed Benabderrahmane



 No photo

Aydin Kheirbakhsh Abadi
No photo

Ghita Berrada



No photo
Jia Li

No photo Yang Cao
No photo

Yanchao Li

 



 No photo
Marco Calautti



No photo
Yuhui Lin

No photo
Brian Campbell
Personal Page

Sam Lindley

Sam Lindley
Personal Page


No photo


No photo

Victor Marsault

No photo


Wei Chen




Roland Perera

Roly Perera
Personal Page


No photo

Michele Ciampi


Wilmer Ricciotti Wilmer Ricciotti


 





No photo
Martin Schuster
 

No photo

Marco Console




Jan Stolarek
Jan Stolarek
No photo




Tom Douce







Vashti Galpin


Vashti Galpin
Personal Page



William Waites William Waites
No photo


Thomas Zacharias
Thomas Zacharias
 
Paolo G

Paolo Guagilardo


Ludovica

Ludovica Luisa Vissat
Personal Page


Postgraduate Students

 

No photo


Pablo Andres Martinez

Supervisors:
Chris Heunen
Murray Cole



No photo


Emanuel Martinov

Supervisors:
Mary Cryan
Kousha Etessami



No photo
Maria Astefanoaei

Supervisors:
Mirella Lapata
Rik Sarkar

Craig McLaughlin
Craig McLaughlin

Supervisors:
Ian Stark
James McKinna
No photo
Veselin Blagoev

Supervisors:
Mary Cryan
Kousha Etessami


No photo Daniel Mills

Supervisors:
Elham Kashefi
Rik Sarkar
No photo

Sándor Bartha


Supervisors:
James Cheney
Amos Storkey


 No photo
Pau Enrique Moliner

Supervisors:
Chris Heunen
James Cheney


No photo


Mattia Bradascio


Supervisor:
Jane Hillston


No photo

Himan Mookherjee

Supervisors:
James Cheney
Amos Storkey


No photo


David Butler

Supervisor:
David Aspinall
Adria Gascon


No photo

Shayan Najd

Supervisors:
Philip Wadler
Sam Lindley

No photo

Juan Casanova

Supervisors:
Alan Bundy
Amos Storkey



No photo

Uchenna Nnabuko

Supervisors:
Stuart Anderson
Kousha Etessami


No photo
No photo Georgios Panagiotakos

Supervisors:
Kousha Etessami
Aggelos Kiayias
No photo
Radu Ciobanu

Supervisors:
Kousha Etessami
Richard Mayr




 No photo Chrystalla Pavlou

Supervisors:
Ilias Diakonikolas
Kousha Etessami
No photo Alexandru Cojocaru

Supervisor:
Elham Kashefi
Aggelos Kiayias

 No photo

Chao Peng

Supervisor:
Ajitha Rajan



No photo
Brian Coyle

Supervisor:
Elham Kashefi
Murray Cole



No photo

No photo

Ellen Derbyshire

Supervisors:
Elham Kashefi
Petros Wallden



No photo Paul Piho

Supervisors:
Jane Hillston
Alan Smaill
Colin Stirling
No photo

Frank Emrich

Supervisor:
James Cheney



No photo
Panos Stratis

Supervisors:
David Aspinall
Ajitha Rajan





No photo






Stefan Fehrenbach

Stefan Fehrenbach
Personal Page

Supervisors:
Peter Buneman
James Cheney



No photo Orfeas Thyfronitis Litos

Supervisor:
Aggelos Kiyias
No photo
Simon Fowler
Personal Page

Supervisors:
Vijay Nagarajan
Philip Wadler
Sam Lindley



No photo


Etienne Toussaint

Supervisors:
Leonid Libkin
Amos Storkey


No photo


Weili Fu

Supervisors:
Paul Anderson
James Cheney


No photo

Yiannis Tselekounis

Supervisors:
Kousha Etessami
Aggelos Kiayias


No photo
Patric Fulop

Supervisors:
Vincent Danos
Guido Sanguinetti


No photo
 

Supervisors:





Alexandru Gheorghiu photo Alexandru Gheorghiu

Supervisors:
Myrto Arapinis
Elham Kashefi


No photo
William Waites
Personal Page

Supervisors:
Murray Cole
Vincent Danos


 Abhirup Ghosh

Abhirup Ghosh

Supervisors:
Mahesh Marina
Rik Sarkar




 No photo

Yanghao Wang

Supervisors:
Wenfei Fan
Leonid Libkin


No photo

Daniel Hillerstrom
Personal Page

Supervisors:
Sam Lindley
Christophe Dubach



No photo
Jack Williams

Supervisors:
Phil Wadler
Sam Lindley
No photo
Rudi Horn

Supervisors:
James Cheney
Christophe Dubach

No photo
Thomas Wright

Supervisors:
Ian Stark
Paul Jackson



Martti Karvonen
Martti Karvonen

Supervisors:
Thomas Leinster
Chris Heunen


 



No photo

Dimitris Karakostas


Supervisor:
Aggelos Kiayias



No photo

Ruiqi Xu


Supervisors:
Wenfei Fan
Leonid Libkin















Vanya Yaneva
Personal Page

Supervisors:
Christophe Dubach
Michael O'Boyle

No photo

Benedict Kavanagh
Personal Page

Supervisors:
James Cheney
Philip Wadler



No photo
Tengfei Yuan

Supervisors:
Wenfei Fan
Leonid Libkin
Kerber

Thomas Kerber


Supervisor:
Aggelos Kiayias



No photo

Jakub Zalewski

Seupervisors:
Hugh Leather
Phil Wadler

 No photo
Wen Kokke

Supervisors:
Hugh Leather
Philip Wadler

No photo


Natalia Zon

Supervisor:
Stephen Gilmore

Daniel Reijsbergen



No photo

Nikolaos Lamprou

Supervisors:
Myrto Arapinis
Aggelos Kiayias




No photo Muyang Liu

Supervisor:

 



No photo


Yuanhao Li

Supervisor:
Wenfei Fan




No photo


Supervisor:




No photo
Kristjan Liiva

Supervisors:
Paul Jackson
Grant Passmore


No photo
Howard Lin
 


Hengshuai (Howard) Lin

Supervisors:
Stuart Anderson
Brian McKinstry




 No photo
 

Support Staff

Associate Members

 

Honorary Members

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

 

Visitors

 

Commercialisation

 

Document Actions