conf.researchr.org / Matt Luckcuck
![Matt Luckcuck](https://conf.researchr.org/getProfileImage/mattluckcuck/578cc8f7-bbfd-4947-9f41-c3ddac0d7e77/small.jpg?1711571271000)
Registered user since Fri 11 Mar 2022
Name:Matt Luckcuck
Bio:
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 (https://fmasworkshop.github.io/).
Country:United Kingdom
Affiliation:University of Nottingham, UK
Research interests:Formal Verification, Autonomous Systems, Model Checking, Safety-Critical Systems
Contributions