Person
Fakultät für Mathematik, Informatik und Naturwissenschaften
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Digitale Visitenkarte herunterladenAdresse
Ahornstr. 55
52074 Aachen
Zum Inhaltsbereich Zur Hauptnavigation Zur Suche
Zurück
Aktuell
Zurück
Vor dem Studium
- Warum die RWTH Aachen?
- Veranstaltungskalender für Schülerinnen, Schüler und Studieninteressierte
- Studienentscheidung
- Studienangebot
- Zugangsvoraussetzungen
- Bewerbung
- Vergabeverfahren
- Einschreibung
- Videotutorials zur Bewerbung und Einschreibung
- Zweithörer, Gasthörer, Seniorenstudium
- Vorkurse
- Kosten und Finanzierung
- Wohnen in Aachen
- Internationale Studierende
Zurück
Im Studium
- Semestertermine
- Studieneingangsphase
- Rückmeldung zum Wintersemester 2022/23
- Beurlaubung
- Studienplatztausch
- Studienfachwechsel
- Exmatrikulation
- Prüfungsangelegenheiten
- Internationales
- Studium mit Kind
- Studientrainings, Vorträge, Workshops der Zentralen Studienberatung
- Lehrveranstaltungen
- Stipendien und Förderung
- Studierende in der Forschung
- Online-Dienste
- Praktisch im Alltag
- Engagement & Freizeit
Zurück
Nach dem Studium
Zurück
Lehre
Zurück
Beratung & Hilfe
- Beratung und Angebote für Schülerinnen, Schüler und Studieninteressierte
- Studienberatung für Studierende
- Psychologische Beratung
- Karriereberatung für Absolventinnen und Absolventen
- Fachstudienberatungen
- Fachschaften
- AStA
- Beratung zum Thema Studium mit Behinderung und chronischer Erkrankung
- Vermittlung im Konfliktfall
- Studienglossar
- Tutorials (Video und Audio)
Zurück
Aktuell
Zurück
Projekte
Zurück
Strukturen
Zurück
Angebote für Forschende
Zurück
Forschungsdatenmanagement
Zurück
Aktuell
Zurück
Kooperationen
Zurück
RWTH Aachen Campus
Zurück
Recruiting
Zurück
Fundraising
Zurück
Sponsoring
Zurück
Aktuell
- Pressemitteilungen
- Veranstaltungen
- Spendenaktion „RWTH und Uniklinik RWTH Aachen helfen in der Ukraine“
- Informationen zum Umgang mit der Corona-Pandemie
- Die RWTH Aachen in ausgesuchten Medien
- Magazine & Periodika
- Die RWTH in Bildern
- Die RWTH in Filmen
- Die RWTH in Podcasts
- Social Media
- RWTH-Wallpaper
- Amtliche Bekanntmachungen
- Hochschuljubiläum
Zurück
Profil
- Reputation
- Daten & Fakten
- Gender & Diversity
- Inklusion
- Lehre
- Internationalisierung
- Gründerhochschule
- Familiengerechte Hochschule und Work-Life-Balance
- Auszeichnungen und Ehrungen
- Gesundheitsportal
- Strategie RWTH 2020
- Die Werte der RWTH Aachen
- Engagement für die Wissenschaft
- Wissenschaftliche Integrität
- Open-Access-Policy der RWTH Aachen
- Geschichte
Zurück
Exzellenz
Zurück
Nachhaltigkeit
Zurück
Einrichtungen
Zurück
Arbeiten an der RWTH
Zurück
Karriere
Zurück
Sicherheit
Zurück
Kontakt & Anreise
Zurück
Fakultäten und Einrichtungen
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10