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