csnav

A

Dalal Alrajeh
Artificial Intelligence, Security, Software Engineering

B

Steffen van Bakel
Theory & Algorithms
Peter Beaghton
Mario Berta
Theory & Algorithms
Krysia Broda
Artificial Intelligence
Michael Bronstein

C

Cristian Cadar
Security, Programming Languages, Systems, Analysis & Verification, Software Engineering
Giuliano Casale
Systems, Software Engineering
Mahdi Cheraghchi
Theory & Algorithms, Security

D

Andrew Davison
Artificial Intelligence, Visual Computing
Marc Deisenroth
Artificial Intelligence, Data Science
Alastair Donaldson
Programming Languages, Analysis & Verification, Software Engineering
Sophia Drossopoulou
Programming Languages, Analysis & Verification
Naranker Dulay
Security, Systems, Software Engineering

E

Abbas Edalat
Theory & Algorithms, Artificial Intelligence
Susan Eisenbach
Programming Languages, Analysis & Verification

F

Aldo Faisal
Artificial Intelligence, Data Science, Visual Computing
Tony Field
Programming Languages, Systems, Software Engineering
Antonio Filieri
Analysis & Verification, Software Engineering

G

Philippa Gardner
Security, Programming Languages, Analysis & Verification
Arthur Gervais
Abhijeet Ghosh
Artificial Intelligence, Visual Computing
Jana Giceva
Data Science, Systems
Duncan Gillies
Artificial Intelligence
Benjamin Glocker
Artificial Intelligence, Visual Computing
Yike Guo
Artificial Intelligence, Data Science

H

Chris Hankin
Theory & Algorithms, Security, Programming Languages
Peter Harrison
Thomas Heinis
Data Science, Systems
Ian Hodkinson
Theory & Algorithms
Michael Huth
Theory & Algorithms, Security, Analysis & Verification

J

Nick Jennings
Artificial Intelligence, Data Science, Security

K

Bernhard Kainz
Artificial Intelligence, Visual Computing
Paul Kelly
Programming Languages, Systems
William Knottenbelt
Theory & Algorithms, Data Science, Systems, Software Engineering
Jeff Kramer
Systems, Software Engineering

L

Su-lin Lee
Visual Computing
Kin Leung
Systems
Stefan Leutenegger
Artificial Intelligence, Visual Computing
Ben Livshits
Security, Programming Languages, Analysis & Verification, Software Engineering
Alessio Lomuscio
Artificial Intelligence, Security, Analysis & Verification
Wayne Luk
Programming Languages, Systems
Emil Lupu
Security, Systems, Software Engineering

M

Sergio Maffeis
Security, Programming Languages, Analysis & Verification
Jeff Magee
Peter McBrien
Data Science, Software Engineering
Julie McCann
Systems
Ruth Misener
Theory & Algorithms
Yves-Alexandre de Montjoye
Artificial Intelligence, Data Science, Security
Stephen Muggleton
Artificial Intelligence

P

Maja Pantic
Artificial Intelligence, Visual Computing
Panos Parpas
Theory & Algorithms
Iain Phillips
Theory & Algorithms
Peter Pietzuch
Data Science, Security, Systems
Holger Pirk
Data Science, Systems

R

Daniel Rueckert
Artificial Intelligence, Visual Computing
Alessandra Russo
Artificial Intelligence, Security, Software Engineering

S

Fariba Sadri
Artificial Intelligence
Bjoern Schuller
Artificial Intelligence, Visual Computing
Marek Sergot
Artificial Intelligence
Murray Shanahan
Artificial Intelligence
Morris Sloman
Systems

T

Francesca Toni
Artificial Intelligence

U

Sebastian Uchitel
Software Engineering

W

Herbert Wiklicky
Theory & Algorithms, Security, Programming Languages, Analysis & Verification

Y

Guang-Zhong Yang
Analysis & Verification
Nobuko Yoshida
Programming Languages, Analysis & Verification

Z

Stefanos Zafeiriou
Artificial Intelligence, Visual Computing