Matt Luckcuck

Registered user since Fri 11 Mar 2022

Name:Matt Luckcuck

I’m an Assistant Professor in Computer Science at the University of Nottingham (UK). My research focusses on Formal Methods for Safety-Critical/Autonomous Systems, and my formalism of choice is CSP. In 2019 I co-founded the Workshop on Formal Methods for Autonomous Systems (

Country:United Kingdom
Affiliation:University of Nottingham, UK
Research interests:Formal Verification, Autonomous Systems, Model Checking, Safety-Critical Systems


Show activities from other conferences

Using general profile