Model Checking
Master course, TU Graz, 2021
I participate in designing and correcting homework for Model Checking
Teaching
Sometimes I teach Model CheckingCFIS Tutor
Undergraduate, BarcelonaTech, 2016
Mentoring sessions to 1st year CFIS undergraduates.