Short Biography

David Kendall was a Senior Lecturer in Computing at Northumbria University (1989 - 2019), except for a brief period as a Lecturer in Computer Science at Durham University (2001-02). He retired from Northumbria University on 30 June 2019. Previously, he was a Research Associate in the School of Computing, Newcastle University (1987-89), following experience as a Senior Software Engineer in industry (1983-86). He has an M.A. degree in Literae Humaniores from Oxford University, where he studied at New College. He received M.Sc. and Ph.D. degrees in Computing Science from Newcastle University. His research interests include formal methods, cyber-physical systems, distributed systems, security, and privacy.

The most up to date record of his publications can be found using his Google Scholar Profile.

Professional Activities

• Member of the Association for Computing Machinery (ACM)
• Member of the European Association for Theoretical Computer Science (EATCS)
• Member of the European Association for Programming Languages and Systems (EAPLS).
• Member of Formal Methods Europe (FME)
• Member of the ACM Special Interest Group on Embedded Systems (ACM SIGBED).