People – Former Members
People previously associated with TCS@Liverpool:
![]() |
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 |
![]() |
Former Research Groups: ACTO Networks Research Interests: High performance computing Bioinformatics String algorithms Combinatorial Optimization |
![]() |
Former Research Groups: ACTO Research Interests: Machine learning pattern recognition data analytics, modelling and optimisation |
![]() |
Karoliina Lehtinen CNRS, Aix-Marseille Université, LIS Former Research Groups: Verification Research Interests: |
![]() |
Former Research Groups: ACTO Networks Research Interests: Decidability questions in different computational models |
![]() |
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. |