Completed doctorate: Anton Pirogov
18/02/2021
On Thursday, February 18, 2021, Anton Pirogov defended his dissertation titled "Automata-Theoretic Techniques in Probabilistic Verification".
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 "Biggest Milestones - Research at Its Peak"
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 : 30/08/2021
Announcements & Highlights 2021
- You Are Here:Completed doctorate: Anton Pirogov