Apurva Badithela (Preferred)
Apurva S. Badithela
Apurva Badithela
Postdoc, Mechanical and Aerospace Engineering, Princeton University
Joined
January 2025
Names
,
Emails
****@caltech.edu (Confirmed)
****@princeton.edu (Confirmed)
****@princeton.edu (Confirmed)
Personal Links
Career & Education History
Postdoc
Mechanical and Aerospace Engineering, Princeton University (princeton.edu)
2024 – 2026
PhD student
Control and Dynamical Systems, California Institute of Technology (caltech.edu)
2018 – 2024
Undergrad student
Aerospace Engineering and Mechanics, University of Minnesota - Twin Cities (umn.edu)
2014 – 2018
Advisors, Relations & Conflicts
Expertise
automated testing
, blackbox optimization
, evaluation
, safety
, verification and validation
, statistical inference
2023 – Present
formal methods
, temporal logic
, verification and validation
, testing
, safety
2018 – Present
Publications
Co-Authors
- Aaron Ames
- Aaron D. Ames
- Albert Benveniste
- Alberto L. Sangiovanni-Vincentelli
- Alberto Sangiovanni-Vincentelli
- Allen Z. Ren
- Anirudha Majumdar
- Anushri Dixit
- Asher James Hancock
- Ayush Pandey
- Benoit Caillaud
- Benoît Caillaud
- David Snyder
- Denizalp Goktas
- Dhruv Shah
- Emily Zhou
- Emma Dixon
- Eric Mazumdar
- Eric V. Mazumdar
- George J. Pappas
- Haruki Nishimura
- Inigo Incer
- Inigo Xabier Incer
- Jeremy Bao
- Josefine B Graebener