NASA Formal Methods 2024 (series) / Matt Luckcuck
![Matt Luckcuck](https://conf.researchr.org/getProfileImage/mattluckcuck/998867f0-396c-49cf-a62d-8f9d992a103f/small.jpg?1719000360000)
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
NASA Formal Methods 2024-profile
View general profile
View general profile