People – Former Members

People previously associated with TCS@Liverpool:

current members

Irina Biktasheva

Lecturer   

Former Research Groups:  Networks

Research Interests:  Computational mathematicscomputational sciencenon-linear waves in regimes of self-organised synchronisationasymptotic theory of spiral waveswave-particle duality of dissipative vorticescomputer modelling for cardiologyHPC

Thomas Carroll

University Teacher   

Former Research Groups:  ACTONetworks

Research Interests:  High performance computingBioinformaticsString algorithmsCombinatorial Optimization

Aris Filos-Ratsikas

Lecturer   

Former Research Groups:  ACTOECCO

Research Interests:  Algorithmic Game TheoryAlgorithmic Mechanism DesignComputational Fair DivisionComputational Complexity

Marie Fortin CNRS, Paris, IRIF

Postdoc   

Former Research Groups:  Verification

Research Interests:  automata theorylogic

Yannis Goulermas

Professor   

Former Research Groups:  ACTO

Research Interests:  Machine learningpattern recognitiondata analytics, modelling and optimisation

Christian Ikenmeyer

Senior Lecturer

Former Research Groups:  ACTO

Research Interests:  Complexity theoryTensor rankComputational representation theoryAlgebraic combinatoricsAlgebraic 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 ProcessingComputational LinguisticsMachine Learning

Reino Niskanen

University Teacher   

Former Research Groups:  ACTONetworks

Research Interests:  Decidability questions in different computational models

Fabio Papacchini

University Teacher   

Former Research Groups:  ARK

Research Interests:  Knowledge RepresentationOBDAQuery Answering, RewritingAutomated ReasoningTableaux MethodsModal LogicsDescription Logics and Model Generation

Martin Zimmermann

Lecturer   

Former Research Groups:  ACTOVerification

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.