People
AMBER Staff
Dr Leo Freitas Lecturer in Formal Methods & Tools |
Email: leo.freitas@ncl.ac.uk![]() Telephone: +44 191 208 8036 |
Professor John Fitzgerald Director of the Centre for Software Reliability |
Email: john.fitzgerald@ncl.ac.uk![]() Telephone: +44 191 208 82287087 |
Dr Carl Gamble Research Associate |
Email: carl.gamble@ncl.ac.uk![]() Telephone: +44 191 208 3589 |
Dr Claire Ingram Research Associate |
Email: claire.ingram@ncl.ac.uk![]() Telephone: +44 191 208 8218 |
Professor Cliff Jones Professor |
Email: cliff.jones@ncl.ac.uk![]() Telephone: +44 191 208 8183 |
Dr Victor Khomenko Reader in Formal Methods |
Email: victor.khomenko@ncl.ac.uk![]() Telephone: +44 191 208 8789 |
Professor Maciej Koutny CS Director of Research |
Email: maciej.koutny@ncl.ac.uk![]() Telephone: +44 191 208 7982 |
Dr Marta Koutny Senior Lecturer |
Email: marta.koutny@ncl.ac.uk![]() Telephone: +44 191 208 7957 |
Dr Richard Payne Research Associate |
Email: richard.payne@ncl.ac.uk![]() Telephone: +44 191 208 3589 |
Dr Ken Pierce Research Associate |
Email: kenneth.pierce@ncl.ac.uk![]() Telephone: +44 191 208 7883 |
Dr Jason Steggles Senior Lecturer |
Email: jason.steggles@ncl.ac.uk![]() Telephone: +44 191 208 8035 |
Dr Nisansala Yatapanage Research Associate |
![]() |
AMBER PhD Students
Ms. Hanadi Alkhudhayr | Email: h.alkhudhayr1@newcastle.ac.uk Claremont Tower, office 10.02 |
|
Mr. Talal Saad Alharbi | Email: talal.alharbi@ncl.ac.uk Claremont Tower, office 10.02 |
|
Mr. Troy Astarte | Email: t.astarte@newcastle.ac.uk Claremont Tower, office 10.02 |
|
Mr. Razgar Ebrahimy | Email: razgar.ebrahimy@ncl.ac.uk![]() Telephone: +44 191 20 83464 |
|
Mr. Mark Jackson | Email: m.jackson3@ncl.ac.uk![]() Claremont Tower, 10.02 |
|
Mr. Martin Mansfield | Email: martin.mansfield@ncl.ac.uk![]() Claremont Tower, office 10.02 |
|
Mr. Hansen Salim | Email: H.Salim@ncl.ac.uk![]() Claremont Tower, 10.02 |