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 ECCO Research Interests: Algorithmic Game Theory Algorithmic Mechanism Design Computational Fair Division Computational Complexity |
![]() |
Marie Fortin CNRS, Paris, IRIF Former Research Groups: Verification Research Interests: automata theory logic |
![]() |
Former Research Groups: ACTO Research Interests: Machine learning pattern recognition data analytics, modelling and optimisation |
![]() |
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 Former Research Groups: Verification Research Interests: |
|
Former Research Groups: ARK Research Interests: Natural Language Processing Computational Linguistics Machine Learning |
![]() |
Former Research Groups: ACTO Networks Research Interests: Decidability questions in different computational models |
![]() |
Former Research Groups: ARK Research Interests: Knowledge Representation OBDA Query Answering, Rewriting Automated Reasoning Tableaux Methods Modal Logics Description Logics and Model Generation |
![]() |
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. |