The content on this page was translated automatically.


University of Kassel
Department 16 - Electrical Engineering / Computer Science
Department of Theoretical Computer Science/Formal Methods
Wilhelmshöher Allee 71-73
34121 Kassel
Tel: +49 561 804 6261
Fax: +49 561 804 6627


You can reach us ...

by car:

On the A49 take the exit "Kassel Auestadion". Follow the road until you reach the intersection "Schönfelder Straße" and "Wilhelmshöher Allee" (at the sixth traffic light). Turn right here onto "Wilhelmshöher Allee". After 100m you can see the buildings of the university on the right side.  You can get exact directions on route planners such as Google Maps by entering "Wilhelmshöher Allee 71, Kassel" as your destination(

By public transport:

Take the train to the station "Kassel Wilhelmshöhe", not "Kassel Hauptbahnhof". Take the streetcar 1 (direction "Vellmar") or 3 (direction "Ihringshäuser Straße") and get off at "Murhardstraße/Universität" (4th stop). A ticket "Kurzstrecke" is sufficient for this. The university is located on the right side when looking in the direction of the streetcar. You can find detailed information on the website of Deutsche Bahn ( and of KVG(

How to find us in the building at Wilhelmshöher Allee 71-73:

The research group Theoretical Computer Science/Formal Methods is located on the second floor, in the wing between the two entrances "B" and "C".