Personal tools
You are here: Home People

People

Details of LFCS members.

 Academic staff

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

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

 

No photo

Myrto Arapinis

 

 

 


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
Stephen Gilmore
Stephen Gilmore
Personal Page

  • Formal methods of program development
  • Formal specifications
  • Software engineering
  • Concurrent systems
Andrew D. Gordon
Andrew D. Gordon
  • Computer security
  • Programming languages and their semantics and logics
  • Probabilistic programming for machine learning


No photo 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
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
DonS Donald Sannella
Personal Page

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

  • Category theory
  • Domain theory 
  • Logic
  • Type theory
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
No photo Petros Wallden

  • Quantum Information & Foundation of Quantum Theory
  • Quantum Gravity



 

 

Research staff

 

No photo Brian Campbell
Personal Page







No photo Sam Lindley
Personal Page






No photo Matteo Cavaliere








Garrett Morris Garrett Morris
Personal Page






No photo Wei Chen








No photo James McKinna
Personal Page






No photo Fredrik Dahlqvist









No photo Adel Noureddine
Personal Page







No photo Diego Figueira








Roland Perera Roly Perera
Personal Page







Vashti Galpin Vashti Galpin
Personal Page








No photo Daniel Reijsbergen








No photo Ilias Garnier









Nassim Seghir Nassim Seghir
Personal Page







No photo



 

No photo Andrea Weisse







Postgraduate Students

 

Danel Ahman Danel Ahman


Supervisors:
Gordon Plotkin
Alex Simpson



Karoliina Lehtinen Karoliina Lehtinen


Supervisors:
Julian Bradfield
Sandra Quickert


Cristina Alexandru Cristina Alexandru


Supervisors:
Stuart Anderson
Perdita Stevens
Brian McKinstry


 No photo Kristjan Liiva


Supervisors:
Paul Jackson
Grant Passmore


Ricardo Almeida Ricardo Almeida


Supervisors:
Kousha Etessami
Richard Mayr



Howard Lin Zhengshuai (Howard) Lin


Supervisors:
Stuart Anderson
Brian McKinstry


No photo Maria Astefanoaei



Supervisor:
Rik Sarkar



Christopher Banks Christopher Banks
Personal Page

Supervisors:
Jane Hillston
Ian Stark




 No photo Mark MacGillivray


Supervisors:
Stuart Anderson
Mark Hartswood



Yang Cao Yang Cao
Personal Page

Supervisors:
Wenfei Fan
Leonid Libkin



 No photo Fabian Nagel


Supervisors:
Stratis Viglas
Christophe Dubach


Andreas Chatzistergioy Andreas Chatzistergiou


Supervisors:
Vijay Nagarajan
Stratis Viglas




 No photo Shayan Najd Javadipour


Supervisors:
Philip Wadler
Sam Lindley



No photo Radu Ciobanu



Supervisor:
Richard Mayr



Hadi Daneshvar Hadi Daneshvar Farzanegan
Personal Page

Supervisors:
Stuart Anderson
Robin Williams



 No photo Vladimir Nikishkin


Supervisors:
Ilias Diakonikolas
Rahul Santhanam


No photo Stefan Fehrenbach



Supervisor:
James Cheney



Cheng Feng Cheng Feng


Supervisors:
Jane Hillston
Gordon Plotkin



 No photo Fabian Peternek


Supervisors:
Peter Buneman
Sebastian Maneth


Daniel Franzen Daniel Franzen


Supervisors:
David Aspinall
Ian Stark



Alireza Pourranjbar
Alireza Pourranjbar


Supervisors:
Jane Hillston
Vashti Galpin


No photo Weili Fu



Supervisor:
James Cheney



Anastasis Georgoulas
Anastasios Georgoulas
Personal Page

Supervisors:
Jane Hillston
Guido Sanguinetti



No photo Pascal Schmitt


Supervisors:
Wenfei Fan
Stratis Viglas


 No photo Nargess Ghahremani-Azghandi


Supervisors:
Julian Bradfield
Vincent Danos



 No photo Andrew Sogokon


Supervisors:
Paul Jackson
Jacques Fleuriot


No photo Alexandru Gheorghiu




Supervisor:
Elham Kashefi



 No photo Joseph Hallett


Supervisors:
David Aspinall
Bjoern Franke



 No photo Alistair Stewart


Supervisors:
Kousha Etessami
Richard Mayr


Jiansen He Jiansen He
Personal Page

Supervisors:
Don Sannella
Philip Wadler



 No photo Marcin Szymczak


Supervisors:
David Aspinall
Andrew D. Gordon


Ricardo Honorato Ricardo Honorato


Supervisors:
Vincent Danos
Gordon Plotkin



 No photo Chao Tian


Supervisors:
Wenfei Fan
Leonid Libkin


Ruizhe Huang Ruizhe Huang


Supervisors:
Wenfei Fan
Leonid Libkin




 Patrick Totzke Patrick Totzke
Personal Page

Supervisors:
Richard Mayr
Colin Stirling









Theodoros Kapourniotis


Supervisors:
Rahul Santhanam
Elham Kashefi

No photo
Daifei Wang


Supervisors:
Wenfei Fan
Leonid Libkin


Ludovica Luisa Vissat



Supervisor:
Jane Hillston

No photo Jingbo Xu


Supervisor:
Wenfei Fan

Panagiota Katsikouli
Personal Page

Supervisors:
Rik Sarkar
Mahesh Marina

No photo Jack Williams


Supervisor:
Phil Wadler
 No photo


 John Wilson-Kanamori John Wilson-Kanamori


Supervisors:
Vincent Danos
Gordon Plotkin


 No photo Benedict Kavanagh
Personal Page

Supervisors:
James Cheney
Philip Wadler

















 

Support Staff

 

Associate Members

 

Honorary Members

Visitors

Commercialisation

 

Document Actions
Upcoming Events
Event LFCS lunch to welcome PhD students Miniforum 2,
Sep 19, 2014
Event LFCS seminar by Professor Benjamin Pierce IF 4.31/4.33,
Sep 23, 2014
Event LFCS Seminar by Sam Staton : Quantum computation, algebraic effects and linearity. 4.31-4.33,
Sep 26, 2014
Event LFCS Seminar by Dr. Peter Richtarik IF 4.31/4.33,
Sep 30, 2014
Event LFCS Seminar by Reiko Heckel 4.31-4.33,
Oct 21, 2014
Previous events…
Upcoming events…
News
News Item Former student wins 2014 Kurt Goedel Research Prize Jun 26, 2014
News Item Congratulations to Alistair Stewart on passing his PhD viva Jun 25, 2014
News Item Congratulations to Shayan Najd who has received a prestigious Google European Doctoral Fellowship Jun 23, 2014
News Item Congratulations to Perdita Stevens who has been awarded a Personal Chair May 14, 2014
News Item Congratulations to Patrick Totzke who has passed his PhD viva May 13, 2014
More news…