Scientific Advisory Board
Prof. Mariëlle Stoelinga
Formal Methods and Tools group at the University of Twente, Enschede and (part-time) Department of Software Science at Radboud University, Nijmegen.
Prof. Joost-Pieter Katoen
Software Modelling and Verification group, RWTH Aachen University, Aachen, Germany and (part-time) Formal Methods and Tools group at the University of Twente, Enschede.
Dr. Matthias Volk.
Methods and Tools group at Eindhoven University of Technology.
Leadership
Dr. Falak Sher
Software Modelling and Verification group, RWTH Aachen University. Formal Methods Group at DGB Technologies
Ahmad Zafar
Formal Methods Group at DGB Technologies
Ahmad Waqas
Formal Methods Group at DGB Technologies