Hi, I'm Robert Rubbens, though most people call me Bob. This is my academic webpage hosted by the UT. I am currently part of the FMT group at the University of Twente. There I work on VerCors and projects related to that. Here is my official employee page. You can also have a look at my personal website

My general interests are programming languages, theorem provers, deductive verification, and separation logic. In my spare time I like to tinker with programming languages, theorem provers like Lean 4 and Isabelle, read, run, boulder, and play some piano or DnD.

Below you can find some stuff I did.

• (paper) JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems (DOI)
• (paper) On Deductive Verification of an Industrial Software Component (DOI)
• (paper) Modular Transformation of Java Exceptions Modulo Errors (DOI)
• (mastersthesis) Improving Support for Java Exceptions and Inheritance in VerCors (PDF, bib)
• (bachelorsthesis) Haskell on the GPU (PDF, bib)

Feel free to reach out to me if you have any questions about the topics mentioned on this page!