Ali Rasim Kocal, M.Sc.
- Tel.: +49 89 289 17329, 18176
- Raum: 5609.EG.064
- E-Mail: ali.rasim.kocal@tum.de
Research Interests
Static Analysis
Fixpoint Algorithms
Publications
You can find an up-to-date list of my publications on my Google Scholar page.
Teaching
- Seminar: Musical Languages - Code, that you can dance to
- Praktikum: Grundlagen der Programmierung - (Winter 25/26, exercise instructor)
- Vorkurs: Mathematik für Informatiker - (Winter 25/26, organisation)
- Virtual Machines (Sommer 25, exercise instructor)
- Praktikum: Grundlagen der Programmierung - (Winter 24/25, exercise instructor)
- Vorkurs: Mathematik für Informatiker - (Winter 24/25, organisation)
- Virtual Machines (Sommer 24, exercise instructor)
- Praktikum: Grundlagen der Programmierung - (Winter 23/24, exercise instructor)
- Vorkurs: Mathematik für Informatiker - (Winter 23/24, organisation)