Vortrag: Proving Almost-Sure Termination With Non-Ranking Super Martingales

Mittwoch, 15.11.2017, 11.00 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

 

Vortragender: Benjamin Kaminski

 

In diesem Vortrag geht es um Grundlagenforschung für die Entwicklung von Techniken zur automatisierten Analyse und Verifikation probabilistischer Programme. Diese Art von Programmen sind von größter Wichtigkeit in den Feldern Cybersicherheit, Kryptographie, Quantenalgorithmen, Randomisierte Algorithmen und Maschinellem Lernen.