SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Marcel Moosbrugger

Registered user since Thu 8 Sep 2022

Name:Marcel Moosbrugger
Bio:

As a Ph.D. student supervised by Laura Kovács and Ezio Bartocci, my mission is to bring certainty to domains that are uncertain in nature. What sounds like a contradiction at first, reveals itself as an intriguing and highly relevant research area. Probabilistic Programs, Machine Learning, and stochastic systems are all around us and influence our daily lives. Using formal methods can not only make these systems safer but can further have a beneficial feedback effect on the development of such technologies.

For more details visit my personal website.

Country:Austria
Affiliation:TU Wien
Personal website:https://marcelmoos.com/
Research interests:Probabilistic Programming, Verification, Program Analysis

Contributions

SAS 2022 Solving Invariant Generation for Unsolvable Loops
SPLASH 2022 This is the Moment for Probabilistic Loops
Show activities from other conferences

Using general profile