Promotion mit Auszeichnung: Sebastian Junges
13/02/2020
On Thursday 13rdth of February 2020, Sebastian Junges defended his dissertation titled "Parameter Synthesis in Markov Models". He received his doctorate with distinction.
Skip to Content Skip to Main Navigation Skip to Search
Back
Lectures and seminars
Back
Regulars Table
Back
Bi-Weekly Meetings
Back
Annual Spring Workshop
Back
UnRAVeL Seminars
Back
Summer Schools and Workshops
Back
Reading Groups
Back
Survey Lecture "What's New in UnRAVeL?"
Back
Publications
Back
Ongoing Dissertation Projects
Back
Completed Doctorates
Back
Completed Bachelor and Master Theses
Back
Profile
Back
People
Back
Ombudsperson
Back
DFG - German Research Foundation
Back
Upcoming Events
Back
Announcements & Highlights
Back
Archive of Events
Back
Gender & Diversity
Back
Guest Researchers
Back
UnRAVeL Notice Board
Back
Faculties and Institutions
Faculties and Institutes
- Mathematics, Computer Science and Natural SciencesFaculty 1
- ArchitectureFaculty 2
- Civil EngineeringFaculty 3
- Mechanical EngineeringFaculty 4
- Georesources and Materials EngineeringFaculty 5
- Electrical Engineering and Information TechnologyFaculty 6
- Arts and HumanitiesFaculty 7
- Business and EconomicsFaculty 8
- MedicineFaculty 10
UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
last updated : 02/02/2021
Announcements & Highlights 2020
- You Are Here:Promotion mit Auszeichnung: Sebastian Junges