Posts

Kinderuni: Autononous vehicles (how) do they work?

Visiting University of Bergamo

Summaery 2022

Visiting BTH Karlskrona

Interview at Bauhaus University Weimar

Two open Research Assistant positions (TVL-13) in Software Engineering

Group project: Platform for Autonomous Driving Experiments

Joining Bauhaus-Universität Weimar

Leaving King's College London

Fully-funded PhD studentship in safe and trusted AI (at King's College London)

Verifiability Talk 19: Synthesis Technologies for Reactive Systems

Start at King's College London

Goodbye Leicester

Nominations for Leicester Student Union Superstar Awards

UoL students at Unicode final

Spotlight on our Research

Reactive Synthesis with Spectra: A Tutorial

Congratulations: Leicester@UniCode 20/21

Crystal Crop wins 2nd place in Telespazio Technology Contest

MoDELS 2020 Best Paper Awards

Royal Society Summer Science Online 2020

MSc Distance Learning Project Price

MSc Best Software Development Project Price

Received AdvanceHE Fellowship

Final Project Video Competition

Answering Questions about Driverless Cars on BBC Radio Leicester

At The Royal Institution Family Fun Day

Hackathon follow-up: Interdisciplinary Start-Up

Teaching-funded PhD studentships - Deadline February 6th

Food Security from Space

Science Museum Lates Program

A night at the museum?

Royal Society SummerScience Media Coverage

Summer Science Exhibition

Trusted Autonomous Vehicles Warm Up

Teaching-funded PhD studentships - Deadline June 27!