People – Former Members

People previously associated with TCS@Liverpool:

current members

	Duncan Adamson   St Anrews PhD Student  Former Research Groups:  ACTO Research Interests:  Combinatorics  complexity theory
	Trevor Bench-Capon     retired Professor        Former Research Groups:  ARK Research Interests:  Practical reasoning  value based reasoning  legal reasoning, argumentation and narrative
	Sougata Bose   University of Mons Postdoc  Former Research Groups:  ACTO  Verification Research Interests:  automata theory  logic  timed automata
	Thomas Carroll     University Teacher    Former Research Groups:  ACTO  Networks Research Interests:  High performance computing  Bioinformatics  String algorithms  Combinatorial Optimization
	Giorgos Christodoulou       Aristotle University of Thessaloniki Reader      Former Research Groups:  ACTO  ECCO Research Interests:  Algorithmic Game Theory  Algorithmic Mechanism Design  Online Algorithms  Inefficiency of Equilibria  approximation algorithms
	Frans Coenen     retired Professor        Former Research Groups:  ARK Research Interests:  Machine learning and big data analytics in the context of unusual data sets  Data mining over encrypted data and applications of machine learning in the fields of personalised health, infectious diseases and AI and Law
	Rathish Das   Lecturer    Former Research Groups:  ACTO  Networks Research Interests:  Parallel Algorithms  External-Memory Algorithms  Approximation and Randomized Algorithms
	Aris Filos-Ratsikas     Lecturer      Former Research Groups:  ACTO  ECCO Research Interests:  Algorithmic Game Theory  Algorithmic Mechanism Design  Computational Fair Division  Computational Complexity
	Marie Fortin     CNRS, Paris, IRIF Postdoc    Former Research Groups:  Verification Research Interests:  automata theory  logic
	Yannis Goulermas     Professor        Former Research Groups:  ACTO Research Interests:  Machine learning  pattern recognition  data analytics, modelling and optimisation
	Christian Ikenmeyer       Senior Lecturer  Former Research Groups:  ACTO Research Interests:  Complexity theory  Tensor rank  Computational representation theory  Algebraic combinatorics  Algebraic geometry
	Piotr Krysta       Augusta University, GA, USA Professor      Former Research Groups:  ACTO  ECCO Research Interests:  Combinatorial & continuous optimisation  approximation algorithms  algorithmic mechanism design  algorithmic game theory  graph algorithms  statistical learning theory  randomised algorithms & probabilistic analysis  computational complexity
	Rida Laraki       Université Mohammed VI Polytechnique (UM6P) and CNRS Professor        Former Research Groups:  ACTO  ECCO Research Interests:  Game theory  social choice  economic theory  optimization, learning, and operations research
	Karoliina Lehtinen   CNRS, Aix-Marseille Université, LIS Postdoc    Former Research Groups:  Verification Research Interests:
	Yong Li   State Key Laboratory of Computer Science Postdoc      Former Research Groups:  Verification Research Interests:  verification  reinforcement learning
	Angrosh Mandya     University Teacher      Former Research Groups:  ARK Research Interests:  Natural Language Processing  Computational Linguistics  Machine Learning
	Reino Niskanen   University Teacher        Former Research Groups:  ACTO  Networks Research Interests:  Decidability questions in different computational models
	Fabio Papacchini     University Teacher      Former Research Groups:  ARK Research Interests:  Knowledge Representation  OBDA  Query Answering, Rewriting  Automated Reasoning  Tableaux Methods  Modal Logics  Description Logics and Model Generation
	Alkmini Sgouritsa       Lecturer      Former Research Groups:  ACTO  ECCO Research Interests:  Algorithmic Game Theory with focus on Cost-Sharing Games, Auctions and Fair Allocations
	Martin Zimmermann     Lecturer        Former Research Groups:  ACTO  Verification Research Interests:  Turning reactive synthesis from a decision problem into an optimization problem by studying quantitative winning conditions, by turning qualitative conditions into quantitative ones, and by developing algorithms to compute optimal winning strategies.
	Michele Zito     Lecturer      Former Research Groups:  ACTO  Networks Research Interests:  Combinatorics and Computing  Discrete Mathematics and Algorithmics  random structures  randomized algorithms  Smart Energy and Computational Sustainability