Roles in the University of Hull
​
-
Professor of Computer Science since 2011
-
Leader of Dependable Intelligent Systems (DEIS) research group since 2001
-
REF2029 Lead for Computer Science​
-
Leader of commercialisation of the HIP-HOPS and related dependability analysis and optimisation tools by the University of Hull and in conjunction with ESI GmbH (Germany) and MetaCase (Finland) since 2012​
-
Main author of REF2021 impact case study BIOLOGIC and author and key contributor to REF2021 impact case VETA. BIOLOGIC and VETA averaged 3.5*/4* which contributed to the department achieving 26th position nationally for the impact of its research in the last UK-wide Research Excellence Framework (REF). ​
-
Main author of REF2014 4* impact case study on HiP-HOPS which contributed to the department achieving 5th position nationally for the impact of its research.
​
-
Consultant to automotive, aerospace, and other safety-critical industries for over 20 years
​
Key external Roles
​
-
Member of the Board of the EAST-ADL Association (body concerned with maintenance and evolution of the EAST-ADL automotive design language)
-
Member of International Federation of Automatic Control (IFAC) Technical Committee (TC) 5.1 on Manufacturing Plant Control
​​
-
Member of IFAC TC 1.3 on Discrete Event and Hybrid Systems
-
Representative of IFAC TC 1.3 in the IPC of IFAC SAFEPROCESS Symposium
-
Representative of IFAC TC 1.3 in the IPC of IFAC NECSYS (Distributed Estimation and Control in Networked Systems)
​​
-
Steering committee of IMBSA (Int'l Symposium on Model-Based Safety Assessment)
​
-
Editorial board International Journal of Discrete Event Control Systems, International Science Press, ISSN: 2230-990X
-
Editorial board, Heliyon, Elsevier, ISSN: 2405-8440
-
Editorial board, International Journal of Safety, MDPI Open Access Publishing, ISSN: 2313-576XM
-
Editorial board, Journal of Technology & Engineering (e-ISSN: 2241-8237) and Journal of Sciences (e-ISSN: 2241-8466), Athens Institute for Education & Research
​
-
IPC of key conferences in the area of Dependable Systems including SAFECOMP, EDCC, ESREL, DEPCOS
​
​
​