Rohith Kumar Shanmuganathan
Kontakt
Secretary
Rohith Kumar Shanmuganathan
Research Interests
Explainability of Software Bugs
Software Verification
Software Analysis
AI4SE
CAUSE
Personal Website
Lectures
Lectures
Summer term 2026
2.01.481
Software Analysis
2.01.801-B
Forschungsseminar Formale Methoden
Winter term 2025 / 2026
2.01.801-B
Forschungsseminar Formale Methoden