People – Former Members

People previously associated with TCS@Liverpool:

	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
	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.