Skip to content
Faculty
Dean’s office
Central services
Administration
Student Dean’s Office
Infrastructure and IT
Marketing and PR
Professorships
Boards and commissions
Equal opportunities
Decentralized equality
Alumni
Events
Grand Celebration
Computer science day
AI Lecture Series
Institutes
Horst Görtz Institute for IT Security
Institut für Neuroinformatik
Research
Chairs
Collaborative research projects
Doctoral Studies
Formalities
Types of doctorate
1. Start of the doctorate
2. Research
3. Doctoral Exam
4. Completing the doctorate
Completed Doctorates
Promoting young talent
Studies
Prospective students
FAQ
Comparison
Career prospects
Offers for interested students
Offers for teachers
Application and Enrollment
Bachelor
Master
Computer Science
Applied Computer Science
IT Security/Information Technology
IT Security/Networks and Systems
Applied IT Security
Computer Science
Bachelor
Master
Applied Computer Science
Bachelor
Master
IT Security
Bachelor
Master IT Security/Information Technology
Master IT Security / Networks and Systems
Distance learning course Applied IT Security
Student Advisory Service
Examination Office
Courses
Student councils
Academic Enrichment
Excellent Teaching Award
International exchange programs
Student support
International
International Research
International Collaborations and Research Networks
Information for PhD students and Researchers
Visiting Scientists
Stays Abroad for Scientists of the Faculty of Computer Science
International Study Programs
Master Computer Science Overview
Outgoing Students
Student Exchange in Europe for Outgoing Students
Exchange Worldwide
Further Options for Exchange Semesters
Double degree HCAI with the University of Tsukuba (Japan)
Internships and Short-Term Mobility
Virtual Mobility and UNIC
RUB International Office
Incoming Students
General Information for Incoming Students
Information on Studies
Network
IT.Connect – job fair for IT
ITS.Connect – job fair for IT security
Student.Connect – company presentations
Jobsboard
News
Contact
Faculty
Dean’s office
Central services
Administration
Student Dean’s Office
Infrastructure and IT
Marketing and PR
Professorships
Boards and commissions
Equal opportunities
Decentralized equality
Alumni
Events
Grand Celebration
Computer science day
AI Lecture Series
Institutes
Horst Görtz Institute for IT Security
Institut für Neuroinformatik
Research
Chairs
Collaborative research projects
Doctoral Studies
Formalities
Types of doctorate
1. Start of the doctorate
2. Research
3. Doctoral Exam
4. Completing the doctorate
Completed Doctorates
Promoting young talent
Studies
Prospective students
FAQ
Comparison
Career prospects
Offers for interested students
Offers for teachers
Application and Enrollment
Bachelor
Master
Computer Science
Applied Computer Science
IT Security/Information Technology
IT Security/Networks and Systems
Applied IT Security
Computer Science
Bachelor
Master
Applied Computer Science
Bachelor
Master
IT Security
Bachelor
Master IT Security/Information Technology
Master IT Security / Networks and Systems
Distance learning course Applied IT Security
Student Advisory Service
Examination Office
Courses
Student councils
Academic Enrichment
Excellent Teaching Award
International exchange programs
Student support
International
International Research
International Collaborations and Research Networks
Information for PhD students and Researchers
Visiting Scientists
Stays Abroad for Scientists of the Faculty of Computer Science
International Study Programs
Master Computer Science Overview
Outgoing Students
Student Exchange in Europe for Outgoing Students
Exchange Worldwide
Further Options for Exchange Semesters
Double degree HCAI with the University of Tsukuba (Japan)
Internships and Short-Term Mobility
Virtual Mobility and UNIC
RUB International Office
Incoming Students
General Information for Incoming Students
Information on Studies
Network
IT.Connect – job fair for IT
ITS.Connect – job fair for IT security
Student.Connect – company presentations
Jobsboard
News
Contact
Home
/
Personen
/
Miriam Schäfers
Miriam Schäfers
Artificial Intelligence and Formal Methods
Room
: MC 4.148
Email
: m.schaefers@ruhr-uni-bochum.de
Office Hours
: By Arrangement
Table of contents
