Teaching
-
1 min read
Lectures and Practical Courses
Practical course: Systems Programming. Winter 2026
Advised Theses
Ongoing
Analysis and Verification of Semantic Mistranslation Errors in Emulators Bachelor’s Thesis.
2024
Execution State Comparison for Emulators using Symbolic Execution Nicola Crivellin, Master’s Thesis.
2023
Automated Test Case Generation for Emulators using Symbolic Execution Alp Berkman, Bachelor’s Thesis.