DMU logo

Professor Eerke Boiten

Job: Professor in Cyber Security

Faculty: Technology

School/department: School of Computer Science and Informatics

Research group(s): Cyber Technology Institute

Address: De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom

T: +44 (0)116 207 8511

E: eerke.boiten@dmu.ac.uk

W: dmu.ac.uk/cti

 

Personal profile

Eerke Boiten spent the first twenty years of his research career, first in the Netherlands and then in the UK, on mathematics and logic based methods to guarantee and verify the correctness of software. He published over 50 peer reviewed papers on formal methods, including program transformation, viewpoint specification, and refinement in process algebra and state-based systems (e.g. Z). On the latter topic, he authored the monograph “Refinement in Z and Object-Z” with John Derrick (Springer 2004, 2015), and organised many conferences and workshops including the last nine editions of the BCS-FACS Refinement Workshop.

In recent years, he has been applying such techniques in the context of cryptography and security. He led the highly successful UK network on cryptography, security and formal methods CryptoForma. In addressing the broader cyber security research agenda, he also actively engages with other disciplines and external stakeholders. In particular, he has in recent years been a frequent commentator on issues in data security and privacy, including in The Guardian, Le Monde, and frequently in The Conversation, see https://theconversation.com/profiles/eerke-boiten-104676/. Recent comment topics have included: health data sharing, Google, Facebook, the Right to be Forgotten, surveillance, and encryption.

Publications and outputs 

Recent publications:

Recent press comments:

Books:

  • Refinement in Z and Object-Z, with John Derrick, Springer 2004, 2nd edition 2015
  • Integrated Formal Methods 2004, proceedings, with John Derrick and Graeme Smith, LNCS 2999, Springer
  • Mathematics of Program Construction 2002, proceedings, with Bernhard Möller, LNCS 2386

Qualifications

Ir (Twente)

PhD (Nijmegen)

PGCHE (Kent)

Membership of external committees

  • Program committee member for Integrated Formal Methods 2018, http://ifm2018.cs.nuim.ie/
  • “Program committee member for ABZ 2018, https://www.southampton.ac.uk/abz2018/information/index.page
  • EPSRC Associate College member, 2016 (grant reviews since 2002); grant reviews for NWO (Dutch Organisation for Scientific Research)
  • Panel member for Academy of Finland, 2015-2016
  • Program committee Mathematics of Program Construction, 1998-2015, program chair 2002
  • Program chair BCS-FACS Refinement Workshop, 9 editions 2002-2015
  • Steering Committee FOSAD Summer School, 2012-
  • Panel for EAPLS best PhD thesis award, 2010-
  • Committee member of the BCS Formal Aspects of Computing Special Interest Group, 2013-

Membership of professional associations and societies

  • Member of the BCS
  • Fellow of the Higher Education Academy

Forthcoming events

Invited talk at MoneyLIVE: Private Banking & Wealth Management, 23 Nov 2017

Invited roundtable at Biodata EU, Cambridge, November 2017

Chair of the FM 2018 Doctoral Symposium, Oxford

Invited talk at Artificial Intelligence Innovation Summit, London, March 2018

Invited talk at World Precision Medicine Congress 2018, May 2018

Current research students

Jaime Gaspar, external supervisor, University of Kent

Adham Albakri, external supervisor, University of Kent

Externally funded research grants information

EPSRC

2017-2020

Economical, Psychological and Societal Impact of Ransomware, lead site, principal investigator (£913K total)

£445K (Kent)

EU

2015-2019

H2020-MSCA-ITN-2015, “European Training Network for Cyber Security”, lead for Kent (€3.5M total)

€570K (Kent)

EPSRC/GCHQ

2015-2017

“Academic Centre of Excellence in Cyber Security”

£20K

EPSRC

2012-2015

“Cryptoforma 2”, principal investigator

£82K

EPSRC

2009-2012

“Cryptoforma: formal methods and cryptography, the next generation of abstractions”, principal investigator

£73K

EPSRC

2004

“Research Induction and Training Package at IFM 2004”, principal investigator

£8K

EPSRC

2004-2007

“Network: RefineNet”, investigator

£62K

EPSRC

2000-2003

 

“A Constructive Framework for Partial Specification, principal investigator

£63K

EPSRC

1998-2001

 “ODP Viewpoints in a Development Framework”, named researcher & investigator

£127K

Professional esteem indicators

  • Member of the Editorial Board of Formal Aspects of Computing journal, 2010-
  • External reviewer for Nuffield Bioethics report on Biological and Health Data, 2015
  • External examiner, MSc programmes in Computer Science, University of Sheffield, 2007-2012; MSc programmes in Advanced Computer Science and Security, University of Birmingham 2013-2017
  • Reviewer for many journals and conferences

Case studies

face

Search Who's Who

IFM2004

MPC2002Ref2RefinementInZAndObjectZ

 

 
News target area image
News

DMU is a dynamic university, read about what we have been up to in our latest news section.

Events target area image
Events

At DMU there is always something to do or see, check out our events for yourself.

Mission and vision target area image
Mission and vision

Read about our mission and vision and how these create a supportive and exciting learning environment.