People

Faculty

Alessandro Abate

Luca Cardelli

Julian Gutierrez

Christoph Haase

Stefan Kiefer

Daniel Kroening

Marta Kwiatkowska

Anthony W. Lin

Gavin Lowe

Tom Melham

Andrzej Murawski

Luke Ong

Joel Ouaknine

Bill Roscoe

James Worrell

Research

Shaull Almagor

Michaël Cadilhac

Thomas Gibson-Robinson

George Kenison

Wenjie Ruan

Pavel Semukhin

Students

Nathalie Cauchi

Pascale Gourdeau

Dennis Jackson

Luca Laurenti

Clare Lyle

Rhiannon Michelmore

Nicholas Moore

Muhammad Najib

Maciej Olejnik

Andrea Patane

Elizabeth Polgreen

Gabriel Santos

Dominik Wagner

Max Whitby

Min Wu

Administration

Jordan Summers Young

Project Officer / PA to Prof. Marta Kwiatkowska

Past Members

Sara Adams

Jade Alglave

Philip Armstrong

Peter Boehm

Samuel Bucheli

Doina Bucur

Daniel Bundala

Milan Ceska (Faculty of Informatics, Masaryk University, Brno, Czech Republic)

Taolue Chen

Chris Chilton

Cas Cremers

Frits Dannenberg

Marco Diciolla

Alastair Donaldson

Emanuele D'Osualdo

Klaus Draeger

Vijay D'Silva

Pamela Farries

Lu Feng

Vojtěch Forejt

Matthias Fruth

Liz Gresham

Matthew Hague

Leopold Haller

Tingting Han

Ziyad Hanna

Nannan He

Hsi-Ming Ho

David Hopkins

Paul Hunter

Azlan Ismail (Universiti Teknologi MARA, Malaysia)

Jaco Jacobs

Mark Jenkins

Aleksandra Jovanovic

Alexander Kaiser

Mark Kattenbelt

Stephen Kell

Eric Kerfoot

Pascal Kesseli

Karolis Kusas

Morteza Lahijanian

David Landsberg

Antonia Lechner

Rastislav Lenhardt

Martin Lester

Matt Lewis

Ivans Lubenko

Ines Marusic

Tomasz Mazur

Alexandru Mereacre

Toby Murray

Ganesh Narayanaswamy

Ashutosh Natraj (IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)

Robin Neatherway

Long Nguyen

Vincent Nimal

Hristina Palikareva

David Parker

Hongyang Qu

Steven Ramsay

Philipp Ruemmer

Aistis Simaitis

Maria Svorenova

Michael Tautschnig

Ashutosh Trivedi

Mateusz Ujma

Björn Wachter

Georg Weissenbacher

Dominik Wojtczak

Yong Xie

Hongseok Yang

Lijun Zhang