The Speakers

University of Liverpool speakers

Katie Atkinson

I am a Professor and dean at the University of Liverpool, specializing in computational models of argument and their applications in artificial intelligence and law.

Sebastian Wild

I am a Lecturer at the University of Liverpool, specialised in the design and analysis of algorithms and data structures, specifically sorting algorithms and space-efficient data structures.

Leszek Gasieniec

I am a Professor at the University of Liverpool specializing in the design and analysis of efficient algorithms for combinatorial problems, with a focus on Distributed Algorithms, Networks, and Search Problems.

Piotr Krysta

I am a Professor at the University of Liverpool, specializing in algorithms, complexity theory, optimization, economics, and computation.

Viktor Zamaraev

I am a Lecturer in the Department of Computer Science at the University of Liverpool researching algorithms

Prudence Wong

I am a Professor in the Department of Computer Science at The University of Liverpool, associated with the Algorithm Group. I research algorithm design and analysis for optimization problems.

Igor Potapov

I am a Professor of Computer Science leading the "Algorithms, Complexity Theory and Optimisation" group, focusing on reachability questions, decidable and undecidable problems in automata, formal languages, semigroups, and iterative maps, with connections to algorithms, combinatorics, abstract algebra, topology, and computation theory.

Nikhil Mande

I am a lecturer (assistant professor) in the Department of Computer Science at the University of Liverpool since January 2023. My main research interests are complexity theory and quantum computing.

Alexei Lisitsa

I am a Senior Lecturer in the Department of Computer Science at the University of Liverpool researching formal methods, applied automated reasoning, applied machine learning, experimental mathematics, and security.

Mario Gianni

I am a Senior Lecturer in the School of Electrical Engineering, Electronics and Computer Science at the University of Liverpool researching robotics and autonomous systems.

Vladimir Gusev

I am a Lecturer in the Department of Computer Science at the University of Liverpool researching material discovery through computer science.

Vitalyi Kurlin

I am a Professor in the Department of Computer Science at the University of Liverpool leading the Data Science Theory and Applications group at the University of Liverpool, specializing in developing Geometric Data Science applications in crystallography, materials science, and structural biology.

Boris Konev

I am a Professor and the Head of the Department of Computer Science at the University of Liverpool. My research interests include description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods.

Phil Jimmieson

I am a Lecturer in the Department of Computer Science at the University of Liverpool.

Xiaowei Huang

I am a Professor of Computer Science at the University of Liverpool, leading the Trustworthy Autonomous Cyber-Physical System Lab, where our research focuses on machine learning, formal methods, and robotics. Specifically, my expertise lies in trustworthy AI, encompassing verification, explainable AI, and AI safety and security.

Danushka Bollegala

I am a Professor in the Department of Computer Science at the University of Liverpool leading the Machine Learning research group. I am researching natural language processing and machine learning.

John Sylvester

I am a Lecturer at the Department of Computer Science, University of Liverpool. I work in discrete probability, in particular random processes on graphs and random graphs. I am also interested in algorithms and complexity for (temporal) graph problems.

Dominik Wojtczak

I am a Senior Lecturer at the University of Liverpool and a primary member of the Verification Group. I am also affiliated with the Automata, Computability and Complexity Theory Group as well as the Economics and Computation Group.

Bei Peng

I am currently a Lecturer in Artificial Intelligence in the Department of Computer Science at the University of Liverpool. My research focuses mainly on (deep) reinforcement learning, multi-agent systems, interactive machine learning, and curriculum learning.

Industrial speakers

Arkin Cisneros - LPWAN Engineer at Aeternum

The Speakers

University of Liverpool speakers

Industrial speakers

Academic speakers