SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Mon 27 Feb 2023

Name:Dominic P. Mulligan
Bio:

Currently a Principal Applied Scientist within the Automated Reasoning Group, Amazon Web Services, Cambridge UK.

Previously a Principal Research Engineer within the Systems Research Group at Arm Research, Cambridge UK, and prior to that a postdoc at the Computer Laboratory, University of Cambridge and the Dipartimento di Scienze dell’Informazione, University of Bologna, Italy.

Country:United Kingdom
Affiliation:Amazon Web Services
Research interests:Formal methods, computer security, operating systems and systems software

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile