People – Former Members

People previously associated with TCS@Liverpool:

current members

	Irina Biktasheva     Lecturer        Former Research Groups:  Networks Research Interests:  Computational mathematics  computational science  non-linear waves in regimes of self-organised synchronisation  asymptotic theory of spiral waves  wave-particle duality of dissipative vortices  computer modelling for cardiology  HPC
	Thomas Carroll     University Teacher    Former Research Groups:  ACTO  Networks Research Interests:  High performance computing  Bioinformatics  String algorithms  Combinatorial Optimization
	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
	Karoliina Lehtinen   CNRS, Aix-Marseille Université, LIS Postdoc    Former Research Groups:  Verification Research Interests:
	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
	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.