People
On this page you can see all the people involved in the Cyber Physical Lab.
John Fitzgerald
- Director of Research in Computing Science, Director of the Centre for Software Reliability
- School of Computing Science
- Email: john.fitzgerald@ncl.ac.uk
- Telephone: +44 191 208 7087
- John Fitzgerald is a specialist in the engineering of resilient computing systems, particularly using rigorous analysis and design tools.
Dr Paolo Zuliani
- Lecturer
- School of Computing Science
- Email: paolo.zuliani@ncl.ac.uk
- Telephone: +44 191 208 8064
- Paolo is interested in formal verification of biological models and cyber-physical systems, using in particular model checking and SAT/SMT solvers.
Dr Jeremy Bryans
- Senior Research Associate
- School of Computing Science
- Email: jeremy.bryans@ncl.ac.uk
- Telephone: +44 191 208 7822
- Jeremy's area of research broadly includes the security and dependability socio-technical systems. He has a background in formal methods.
Dr Zoe Andrews
- Research Associate
- School of Computing Science
- Email: zoe.andrews@ncl.ac.uk
- Telephone: +44 191 208 8218
- Zoe has interests in dependability, architectural modelling, formal methods, probability, systems of systems and cyber-physical systems.
Dr Carl Gamble
- Research Associate
- School of Computing Science
- Email: carl.gamble@ncl.ac.uk
- Telephone: +44 191 208 3589
- Carl is interested in developing tools and methodology for the collaborative development and simulation of embedded systems.
Dr Claire Ingram
- Research Associte
- School of Computing Science
- Email: claire.ingram@ncl.ac.uk
- Telephone: +44 191 208 8218
- Claire is interested in systems of systems, modelling patterns and architectures, as well as software engineering and software complexity.
Dr Richard Payne
- Research Associate
- School of Computing Science
- Email: richard.payne@ncl.ac.uk
- Telephone: +44 191 208 3589
- Richard's research is largely focussed on resilience and dependability in system architectural modelling, critical elements in software and system engineering.
Dr Ken Pierce
- Research Associate
- School of Computing Science
- Email: kenneth.pierce@ncl.ac.uk
- Telephone: +44 191 208 7883
- Ken's research interests are in the areas of secure and dependable systems, fault tolerance, formal methods, and autonomous systems.
Maria Arias Martin
- Research Administrator
- School of Computing Science
- Email: maria.arias@ncl.ac.uk
- Telephone: +44 (0) 191 208 7087
- Maria is Research Administrator for the AMBER research group (Advanced Model-Based Engineering and Reasoning), providing support for the whole research administration process.
Martin Mansfield
- PhD student
- School of Computing Science
- Email: martin.mansfield@ncl.ac.uk
- Telephone: +44 191 20 83464
Mark Jackson
- PhD student
- School of Computing Science
- Email: m.jackson3@ncl.ac.uk
- Telephone: +44 191 20 88232
Fedor Shmarov
- PhD Student
- Email: f.shmarov@ncl.ac.uk
- Fedor is interested in formal verification of cyber-physical systems with stochastic and non-deterministic behaviour.
