Jaap Boender

Currently working as a lecturer at Middlesex University, London, in the School of Science and Technology,
Foundations of Computing group.

My research interests are (interactive) theorem proving, formal verification, open source software and any combination of these three.

  • A list of publications can be found on my Google Scholar profile
  • For a CV, you can look at my LinkedInĀ profile
  • and you can follow my ramblings on Identi.ca or Twitter as well.
My e-mail address is J.Boender (at) mdx.ac.ukĀ