Scholar
Eerke Boiten
Google Scholar ID: eUtcV10AAAAJ
School of Computer Science and Informatics, De Montfort University, UK
Citations & Impact
Citations
501
H-index
11
i10-index
11
Publications
20
Co-authors
36
list available
Publications
Resume (English only)
Academic Achievements
- He authored 'Refinement in Z and Object-Z' (Springer 2004, 2015) and 'Refinement: Semantics, Languages and Applications' (Springer 2018) with John Derrick. He organized many conferences and workshops, including nine editions of the BCS-FACS Refinement Workshop. The Cyber Technology Institute he leads has held NCSC/EPSRC Academic Centre of Excellence in Cyber Security Research status from 2019 to 2023 and NCSC Academic Centre of Excellence in Cyber Security Education (Gold) status since 2021.
Research Experience
- He spent the first twenty years of his research career in the Netherlands and the UK, focusing on mathematical and logical methods for software correctness. He published over 50 peer-reviewed papers and authored several monographs on refinement. From 2012 to 2017, he set up and led Kent’s interdisciplinary Research Centre in Cyber Security. In 2017, he moved to De Montfort University to lead the Cyber Technology Institute.
Education
- Detailed educational background information is not provided.
Background
- His research interests include mathematical and logic-based methods for ensuring and verifying the correctness of software, formal methods, program transformation, viewpoint specification, and refinement in process algebra and state-based systems (e.g., Z). Since 2012, his research has shifted mainly towards cyber security and privacy.
Miscellany
- He is currently the Head of the School of Computer Science and Informatics at De Montfort University.
