Personal information

Activities

Employment (6)

Amazon Web Services Inc: Cambridge, Cambridgeshire, GB

2022-07-11 to present | Principal Applied Scientist (Automated Reasoning Group)
Employment
Source: Self-asserted source
Dominic Mulligan

Arm Ltd: Cambridge, Cambridgeshire, GB

2021-04-01 to 2022-06-30 | Principal Research Engineer (Arm Research)
Employment
Source: Self-asserted source
Dominic Mulligan

Arm Ltd: Cambridge, Cambridgeshire, GB

2019-04-01 to 2021-04-01 | Staff Research Engineer (Arm Research)
Employment
Source: Self-asserted source
Dominic Mulligan

Arm Ltd: Cambridge, Cambridgeshire, GB

2017-10-01 to 2019-04-01 | Senior Research Engineer (Arm Research)
Employment
Source: Self-asserted source
Dominic Mulligan

University of Cambridge: Cambridge, Cambridgeshire, GB

2012-10-01 to 2017-09-30 | Postdoc (Computer Laboratory)
Employment
Source: Self-asserted source
Dominic Mulligan

Università degli Studi di Bologna: Bologna, Emilia-Romagna, IT

2010-09-01 to 2012-09-01 | Postdoc (Dipartimento della Scienze di Informazione)
Employment
Source: Self-asserted source
Dominic Mulligan

Education and qualifications (2)

Heriot-Watt University: Edinburgh, Edinburgh, GB

2007-09 to 2010-06 | PhD Computer Science (Department of Mathematics and Computer Science)
Education
Source: Self-asserted source
Dominic Mulligan

University of Edinburgh: Edinburgh, Edinburgh, GB

2003-09 to 2007-06 | BSc Artificial Intelligence and Computer Science (Department of Informatics)
Education
Source: Self-asserted source
Dominic Mulligan