Jan Tretmans

TNO & Radboud University

Jan Tretmans is senior research fellow at TNO-ESI in Eindhoven (NL), and part-time Associate Professor in the Software Science group at the Radboud University (NL). Jan is doing applied research in the areas of software testing, and the use of formal methods and models in software engineering. In particular, he likes to combine these two topics: testing using formal methods, also known as model-based testing (MBT). In these fields, he has many publications, and he has given numerous presentations at scientific conferences as well as for industrial audiences.