People
Academics
 Prof Omer BobrowskiProfessor in Mathematical Data Science School of Mathematical Sciences Random Topology, Topological Data Analysis, Applied Topology, Stochastic Geometry, Probability Theory |
 Dr Fredrik DahlqvistLecturer in Computer Science School of Electronic Engineering and Computer Science Theoretical computer science, probabilistic programming, probability theory, category theory, logic |
 Prof Dino DistefanoProfessor of Software Verification School of Electronic Engineering and Computer Science automatic program verification |
 Dr Haim DubossarskyLecturer in Computer Science School of Electronic Engineering and Computer Science Natural Language Processing, Language Change (historical) and Variation (contemporary), Computational Linguistics, Historical Linguistics, Question answering |
Dr George FazekasSenior Lecturer School of Electronic Engineering and Computer Science semantic audio, music information retrieval, semantic webmusic, emotion recognition, deep learning |
 Dr Muhammad Salman HaleemLecturer in Artificial Intelligence School of Electronic Engineering and Computer Science Multimodal Artificial Intelligence, Biomedical Signal/Image Processing, Fundamental AI design, Trustworthy AI |
 Prof Yang HaoProfessor of Antennas and Electromagnetics School of Electronic Engineering and Computer Science Antenna Engineering, Transformation Optics, Material Discovery, Bioengineering, Metamaterials, Communication Engineering |
 Dr Raymond HuLecturer in Computer Science School of Electronic Engineering and 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 Dynamical Systems, Logics in CS, Game theory, Automata |
 Prof Boris KhoruzhenkoProfessor of Mathematics School of Mathematical Sciences random matrices, disordered systems |
 Dr Vasileios KlimisLecturer in Computer Science School of Electronic Engineering and Computer Science Formal Methods/ Fuzz Testing/ Verification/ Validation/, Programming Languages/ Networking Implementations/ Weak Memory Models/ RDMA (Remote Direct Memory Access)/ Quantum Computing |
 Prof Shalom LappinProfessor of Natural Language Processing School of Electronic Engineering and Computer Science Natural Language Processing, Machine Learning, Deep Learning, Artificial Intelligence, Computational Models of Human Cognition |
 Dr Ziquan LiuLecturer School of Electronic Engineering and Computer Science Reliable Machine Learning, Uncertainty Quantification, Computer Vision |
 Prof Pasquale MalacariaProfessor of Computer Science School of Electronic Engineering and Computer Science information theory and program analysis, computer security, semantics of programming languages |
 Dr Paulo OlivaReader in Mathematical Logic School of Electronic Engineering and Computer Science mathematical logic, proof theory, formal verification, algorithms |
 Dr Johan PauwelsLecturer in Audio Signal Processing School of Electronic Engineering and Computer Science machine learning for audio, audio signal processing, music information retrieval, binaural audio |
 Dr Paulo RauberLecturer in Artificial Intelligence School of Electronic Engineering and Computer Science Artificial Intelligence, Machine Learning, Reinforcement Learning, Formalized Mathematics |
 Dr Soren RiisReader School of Electronic Engineering and Computer Science 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 Logic, Category Theory, Semantics |
 Dr Iran RomanLecturer School of Electronic Engineering and Computer Science Theoretical neuroscience, Machine Perception, Artificial Intelligence |
 Dr Marc RothLecturer in Theoretical Computer Science School of Electronic Engineering and Computer Science graph theory, algorithmics, computational complexity theory, parameterised algorithms, fine-grained complexity theory, computational counting problems |
 Prof Mark SandlerProfessor of Signal Processing School of Electronic Engineering and Computer Science Music and Audio Signal Processing, Music Informatics, Mathematics of Deep Learning, Sound Synthesis, Musical Source Separation, AI and Creativity |
 Dr Michael ShekelyanLecturer in Computer Science School of Electronic Engineering and Computer Science Federated Learning, Differential Privacy, Random Sampling, Data Summaries, Query Processing |
 Prof Primoz SkrabaProfessor in Applied and Computational Topology School of Mathematical Sciences topology, geometry, algorithms |
 Dr Michael TautschnigLecturer School of Electronic Engineering and Computer Science Software Verification, Concurrency, Decision Procedures |
 Dr Nikolaos TzevelekosSenior Lecturer School of Electronic Engineering and Computer Science Program analysis, Game semantics, Denotational semantics, Automata over infinite alphabets |
 Dr Przemysław (Przemek) WałęgaSenior Lecturer School of Electronic Engineering and Computer Science Artificial Intelligence, Knowledge Representation and Reasoning, Temporal Reasoning, Logic, Computational Complexity, Graph Neural Networks |