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
	Karoliina Lehtinen   CNRS, Aix-Marseille Université, LIS postdoc    Former Research Groups:  Verification Research Interests:
	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.