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
Academic year celebration
Computer science day
AI Lecture Series
Institutes
Horst Görtz Institute for IT Security
Institut für Neuroinformatik
Research
Chairs
Collaborative research projects
Individual research projects
Doctoral Studies
Formalities
Types of doctorate
1. Start of the promotion
2: Research
3. Authorization
4. Completion of the doctorate
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
Network
IT.Connect – job fair for IT
For participants
For companies
ITS.Connect – job fair for IT security
For participants
For companies
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
Academic year celebration
Computer science day
AI Lecture Series
Institutes
Horst Görtz Institute for IT Security
Institut für Neuroinformatik
Research
Chairs
Collaborative research projects
Individual research projects
Doctoral Studies
Formalities
Types of doctorate
1. Start of the promotion
2: Research
3. Authorization
4. Completion of the doctorate
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
Network
IT.Connect – job fair for IT
For participants
For companies
ITS.Connect – job fair for IT security
For participants
For companies
Student.Connect – company presentations
Jobsboard
News
Contact
Home
/
Personen
/
Joshua Wendland
Joshua Wendland
Artificial Intelligence and Formal Methods
Raum
: MC 4.149
E-Mail
: joshua.wendland@rub.de
Office hours
: By Arrangement
Inhaltsverzeichnis
