PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Tobias Meggendorfer

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
GitHub: https://github.com/incaseoftrouble
Research interests:Probabilistic Verification, Risk-Aware Control

Contributions

Show activities from other conferences

PLDI 2023-profile
View general profile