Contact
We are located in the MC (former VC) building at Ruhr-University Bochum (see Campus Map). You can find our offices on the fourth floor, best accessible via the elevator in the southern part of the building. Stepping out of the elevator turn left, take a few steps, and ring the bell on the door at your lefthand side.
For information on travel to Ruhr-University Bochum, please refer to the official mobility information or see below.
Arriving by Car
Leave the highway A43 or A448 according to the signs “Ruhr-Universität” to turn onto Universitätsstraße. Leave the road at Gesundheitscampus and follow the sign “Ruhr-Universität / West” at the traffic circle to arrive at the parking garage Parkhaus West (P12 and P13) where you can park your car. Leaving the parking garage, you find the MC building in front of you across the parking lot.
Arriving by Public Transport
From Bochum main station, take the subway U35 in direction Bochum Hustadt. Get off the subway at Gesundheitscampus and leave the station in the direction of Gesundheitscampus. Turn left towards the traffic circle and follow the sign “Ruhr-Universität / West” towards Max-Imdahl-Straße. Follow the road to the parking lot. Across the parking lot, you find the MC building.
Artifical Intelligence and Formal Methods
Faculty of Computer Science
Ruhr-Universität Bochum
Universitätsstraße 140
D-44801 Bochum
Secretary’s Office
Verena Schramm
Building MC 4.147
Office hours:
Mo: 9am-4pm
Tue: 9am-2pm
or by arrangement
phone: +49 234 32-15270
e-mail: aifm@rub.de
