Contemplate Staff and Associates
Contemplate employs a select group of post-doctoral researchers and engineers and uses expert consultants as associates. We are currently looking for outstanding individuals to join our existing technical and business team lead by Contemplate’s directors.
Don Sannella (Director)
Don Sannella is a Professor at the University of Edinburgh. His research expertise includes functional languages, mechanised reasoning, algebraic specification, specifying and building modular software systems, and security certification for mobile code. He has published over 60 papers and served on the programme committee of over 45 international conferences. He is editor-in-chief of the journal Theoretical Computer Science and Vice President of the European Association for Theoretical Computer Science. Sannella is also Head of the Informatics Graduate School at the University of Edinburgh.
See Don’s academic home page and
LinkedIn profile.
David Aspinall (Director)
David Aspinall is a Senior Lecturer at the University of Edinburgh. He has over 30 publications representing research in range of areas including type systems, specification and programming languages, computer security, and proof development environments. Aspinall is also Deputy Director of the Laboratory for Foundations of Computer Science.