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