Personal information
Activities
Employment (6)
2022-07-11
to
present
|
Principal Applied Scientist
(Automated Reasoning Group)
Employment
Source:
Dominic Mulligan
2021-04-01
to
2022-06-30
|
Principal Research Engineer
(Arm Research)
Employment
Source:
Dominic Mulligan
2019-04-01
to
2021-04-01
|
Staff Research Engineer
(Arm Research)
Employment
Source:
Dominic Mulligan
2017-10-01
to
2019-04-01
|
Senior Research Engineer
(Arm Research)
Employment
Source:
Dominic Mulligan
2012-10-01
to
2017-09-30
|
Postdoc
(Computer Laboratory)
Employment
Source:
Dominic Mulligan
2010-09-01
to
2012-09-01
|
Postdoc
(Dipartimento della Scienze di Informazione)
Employment
Source:
Dominic Mulligan
Education and qualifications (2)
2007-09
to
2010-06
|
PhD Computer Science
(Department of Mathematics and Computer Science)
Education
Source:
Dominic Mulligan
2003-09
to
2007-06
|
BSc Artificial Intelligence and Computer Science
(Department of Informatics)
Education
Source:
Dominic Mulligan