People
Academics
 Dr Fredrik DahlqvistLecturer in Computer Science School of Electronic Engineering and Computer Science f.dahlqvist@qmul.ac.ukQueen Mary University of London Theoretical computer science, probabilistic programming, probability theory, category theory, logic |
 Prof Dino DistefanoProfessor of Software Verification School of Electronic Engineering and Computer Science d.distefano@qmul.ac.ukQueen Mary University of London automatic program verification |
 Dr Raymond HuLecturer in Computer Science Programming languages, Distributed programming, Type systems, Session types, Behavioural types |
 Dr Edon KelmendiLecturer in Computer Science School of Electronic Engineering and Computer Science e.kelmendi@qmul.ac.ukQueen Mary University of London Dynamical Systems, Logics in CS, Game theory, Automata |
Dr Vasileios KlimisLecturer in Computer Science School of Electronic Engineering and Computer Science v.klimis@qmul.ac.ukQueen Mary University of London building and verifying formal models, automated testing for GPU compilers, analysing weak memory models |
 Prof Pasquale MalacariaProfessor of Computer Science School of Electronic Engineering and Computer Science p.malacaria@qmul.ac.ukQueen Mary University of London information theory and program analysis, computer security, semantics of programming languages |
 Dr Paulo OlivaReader in Mathematical Logic School of Electronic Engineering and Computer Science p.oliva@qmul.ac.ukQueen Mary University of London mathematical logic, proof theory, formal verification, algorithms |
 Dr Soren RiisReader School of Electronic Engineering and Computer Science s.riis@qmul.ac.ukQueen Mary University of London Mathematical Logic, Complexity Theory, Proof Complexity, Algebraic Proof Complexity, Information Theory, Network Coding |
 Prof Edmund RobinsonProfessor of Computer Science School of Electronic Engineering and Computer Science e.p.robinson@qmul.ac.ukQueen Mary University of London Logic, Category Theory, Semantics |
 Dr Marc RothLecturer in Theoretical Computer Science School of Electronic Engineering and Computer Science m.roth@qmul.ac.ukQueen Mary University of London graph theory, algorithmics, computational complexity theory, parameterised algorithms, fine-grained complexity theory, computational counting problems |
Dr Michael ShekelyanLecturer in Computer Science School of Electronic Engineering and Computer Science m.shekelyan@qmul.ac.ukQueen Mary University of London Federated Learning, Differential Privacy, Random Sampling, Data Summaries, Query Processing |
 Dr Michael TautschnigLecturer School of Electronic Engineering and Computer Science michael.tautschnig@qmul.ac.ukQueen Mary University of London Software Verification, Concurrency, Decision Procedures |
 Dr Nikolaos TzevelekosSenior Lecturer School of Electronic Engineering and Computer Science nikos.tzevelekos@qmul.ac.ukQueen Mary University of London Program analysis, Game semantics, Denotational semantics, Automata over infinite alphabets |
 Dr Przemysław (Przemek) WałęgaSenior Lecturer School of Electronic Engineering and Computer Science p.walega@qmul.ac.ukQueen Mary University of London Artificial Intelligence, Knowledge Representation and Reasoning, Temporal Reasoning, Logic, Computational Complexity, Graph Neural Networks |