Stefan Blom (LinkedIn profile) is a postdoc residing at the University of Twente working with us on the CHARTER project.

Stefan earned his PhD at the Vrije Universiteit Amsterdam in 1998 and has worked at CWI.

Stefan is an expert is the lambda calculus and model checking and is the author of several model checkers.