teaching Software Verification 24/25/26 Requirements Engineering and Design 25 Software Engineering 23/24 mentoring volunteering
