Formal Methods for Autonomous Systems (FMAS)

FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. FMAS 2022 will be held at SEFM, so we will have in-person Read More …

Senior Lecturer in Systems Security at the University of Manchester

The Department of Computer Science at the University of Manchester is the longest established department of computer science in the United Kingdom; in the most recent national research review (Research Excellence Framework), the department was rated 1st for research environment and in the top 5 for research quality. As part of significant ongoing investment, the Read More …