Martin Bidlingmaier PhD defence of "Probabilistic Programming and Multiverse Models of Type Theory"
Info about event
Time
Location
Ada, Building 5342, room 333, Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N
Price
On Friday 22 April 2022 Martin Bidlingmaier will defend his PhD thesis: Probabilistic Programming and Multiverse Models of Type Theory