Posts

Kinderuni: Autononous vehicles (how) do they work?

on
0

Visiting University of Bergamo

on
0

Summaery 2022

on
0

Visiting BTH Karlskrona

on
0

Interview at Bauhaus University Weimar

on
0

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

on
0

Group project: Platform for Autonomous Driving Experiments

on
0

Joining Bauhaus-Universität Weimar

on
0

Leaving King's College London

on
0

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

on
0

Verifiability Talk 19: Synthesis Technologies for Reactive Systems

on
0

Start at King's College London

on
0

Goodbye Leicester

on
1

Nominations for Leicester Student Union Superstar Awards

on
0

UoL students at Unicode final

on
0

Spotlight on our Research

on
0

Reactive Synthesis with Spectra: A Tutorial

on
0

Congratulations: Leicester@UniCode 20/21

on
0

Crystal Crop wins 2nd place in Telespazio Technology Contest

on
0

MoDELS 2020 Best Paper Awards

on
0