Biography:
I’m a Research Associate in Verification working on modelling and verifying secure concurrent systems, using software such as proof assistants (e.g. Isabelle/HOL). I’m currently funded by the EPSRC COVERT grant, and previously completed my PhD in formalised mathematics (focusing on combinatorial structures) at the University of Cambridge, and a BE(Software)/BSc(Maths) at the University of Queensland. I’m passionate about STEM outreach and education and am an Associate Fellow with AdvanceHE.
Host institution:
University of Sheffield –
Area of interest:
Engineering and Computer Sciences
Role at the White Rose Consortium:
Contact Information
c.l.edmonds@sheffield.ac.uk
Personal profile
Related community members
Sign up to our newsletter
The White Rose University Consortium actively engages with institutional, regional and national partners to propel positive change and create sustained impact for individuals, communities, and the region.
