Registered user since Fri 20 Jan 2023
Name:Tobias Meggendorfer
Bio:
- Post-Doc at Institute of Science and Technology Austria / Chatterjee Group
- PhD at Technical University Munich / Jan Křetínský
- MSc Math + MSc CS at Technical University Munich
Country:Austria
Affiliation:IST Austria (Institute of Science and Technology Austria)
Personal website:https://tobias.meggendorfer.de
Research interests:Probabilistic Verification, Risk-Aware Control
Contributions
PLDI 2023 | Author in Artifact Evaluation Committee within the Research Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile