Rohith Kumar Shanmuganathan
Kontakt
Sekretariat
Rohith Kumar Shanmuganathan
Forschungsinteressen
Explainability of Software Bugs
Software Verification
Software Analysis
AI4SE
CAUSE
Personal Website
Lehrveranstaltungen
Lehrveranstaltungen
Wintersemester 2025 / 2026
2.01.801-B
Forschungsseminar Formale Methoden