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

Royal Society Summer Science Online 2020

on
0

MSc Distance Learning Project Price

on
1

MSc Best Software Development Project Price

on
0

Received AdvanceHE Fellowship

on
0

Final Project Video Competition

on
0

Answering Questions about Driverless Cars on BBC Radio Leicester

on
0

At The Royal Institution Family Fun Day

on
0

Hackathon follow-up: Interdisciplinary Start-Up

on
0

Teaching-funded PhD studentships - Deadline February 6th

on
0

Food Security from Space

on
0

Science Museum Lates Program

on
0

A night at the museum?

on
0

Royal Society SummerScience Media Coverage

on
0

Summer Science Exhibition

on
0

Trusted Autonomous Vehicles Warm Up

on
0