Curriculum Vitae (Nov 2011)

Dr. Eerke Albert Boiten

Work: School of Computing, University of Kent, Canterbury Kent CT2 7NF, U.K.,

phone: +44-1227-827615, E.A.Boiten@kent.ac.uk, http://www.cs.kent.ac.uk/~eab2

Nationality: Dutch (no work permit required).

Education

“Doctoraal Diploma” (equivalent to UK BSc+MSc) in Computing Science, University of Twente, The Netherlands, 1983-1988;

PhD in Mathematics and Computing Science, University of Nijmegen, The Netherlands, 1988-1992;

PGCHE (including research elements and research supervision), University of Kent, 1999-2001.

Languages: first language Dutch, second language English, reasonably fluent in German.

Employment history

Senior Lecturer in Computer Science, University of Kent, Canterbury, UK, since 2003 (Lecturer 1997).

Research Associate at the Computing Laboratory, University of Kent at Canterbury, UK, 1995-1997, EPSRC funded project: “Cross Viewpoint Consistency in Open Distributed Processing”.

Post-doctoral researcher at the Eindhoven University of Technology, Mathematics of Program Construction group (Prof. R.C. Backhouse), 1993-1995.

Research assistant and post-doctoral researcher at the Department of Computing Science, University of Nijmegen, 1988-1992.

Professional organisations

Member, Formal Methods Europe since 2001; BCS FACS since 2004; EAPLS since 2004; BCS since 2008.

HE Academy since 2002

Publications

See Official publication list at www.cs.kent.ac.uk/~eab2/pubs.html.

Under review:

Eerke Boiten and John Derrick, “From ODP Viewpoint Consistency to Integrated Formal Methods”, Computing Standards and Interfaces, accepted.

John Derrick and Eerke Boiten, “Relational Concurrent Refinement III”, submitted to Formal Aspects of Computing, accepted with minor revisions.

Eerke Boiten, “Refinements Adding Operations”, submitted to Formal Aspects of Computing, under review.

Research funding

EPSRC “ODP Viewpoints in a Development Framework”, £127K, named researcher, investigator, 1998-2001.

EPSRC “A Constructive Framework for Partial Specification”, £63K, principal investigator, 2000-2003.

EPSRC “Network: RefineNet”, £62K, investigator, 2004-2007.

EPSRC “Research Induction and Training Package at IFM 2004”, £8K, principal investigator, 2004.

EPSRC “Network: CryptoForma”, 79K, principal investigator, 2009-2012.

Research supervision and examination

PhD Ralph Miarka, awarded 2002.

PhD Dan Grundy, awarded 2008.

PhD Gift Nuka, awarded 2009.

MSc student Alex Alferovs, to submit 2011.

Taught MSc research projects, approx. 40 since 1990.

External examiner PhD Paul Jones, University of Nijmegen, The Netherlands, 2000.

External examiner PhD David Leadbetter, University of Queensland, Australia, 2000.

External examiner PhD Derrick Newton, University of Birmingham, 2011.

Internal examiner PhD Neil Kettle, 2007; Chris Brown, 2009; Carlos Eduardo da Silva, 2011

Program committees and reviews

Program committee Mathematics of Program Construction, 1998-2012, program chair 2002.

Program chair BCS-FACS Refinement Workshop, 2002, 2005, 2006, 2007, 2008, 2009, 2011.

Program chair 4^th International Conference on Integrated Formal Methods, 2004; committee for all subsequent editions.

Program committee FMOODS, 2006, 2007.

Program committee Formal Methods Europe 2001, 2011.

Program committee ABZ 2010, 2012; FM-Ed, 2006; ICFEM, 2005;IFIP TC2 Working Conference on Generic Programming, 2002; Workshop on Critical Systems Development with UML, 2004; ICSE Workshop on Living with Inconsistency, 2001. Evaluation panel for EAPLS best PhD thesis award, 2010-..

Reviews

Reviewer for journals (Acta Informatica, SCP, FACJ, TCS, IEEE TDPS, JFP, IFP, Computer Journal, ASE, SoSym, IST, and more), conferences (FORTE/PSTV, ZUM, ZB, FMOODS, ESORICS), publishers (Prentice Hall, McGraw-Hill).

Reviewer for EPSRC grants, 2002-.

Reviewer for NWO (Dutch Organisation for Scientific Research), 2006, 2011.

Book review for Journal of Functional Programming, 2003, 2011.

Teaching experience

Teaching experience at all levels (BSc all years, MSc, MA, PhD) in Computer Science and joint honours.

Specification and design of courses, lectures, classes, in the following subjects:

Software engineering

Cryptography

Research methods

Professional aspects of computing

Theory of programming languages

Formal software development

Teaching for PhD students

Formal specification for distributed systems

Functional programming

Logic

Introduction to networks

Graph theory

Program specification and transformation

Parsing

External examiner, MSc programmes in Computer Science, University of Sheffield, 2007-2011.

Managerial responsibilities

Departmental Head of Teaching, 2004-2006: programme development and management, QA, innovation, teaching allocation. Member of Departmental Executive, Faculty Board, etc. Chairing teaching committees, leading periodic programme review.

Postgraduate Admissions: Research degrees, 2006; taught MSc programmes, 1998-2002 and 2007-2010.

Head of Security Research group, 2010-.

Volunteer activities

Governor, John of Gaunt Comprehensive school, Trowbridge, 2007-; chair of Curriculum and Learning Committee, 2010-2011; Chair of Governors 2011-.