This figure shows citations per year from Google Scholar and is generated with the following code:

(@v1.9) pkg> add GoogleScholar
using GoogleScholar
scholar = Scholar("OdCpu9sAAAAJ") # Robert J. Moss
plot_citations(scholar)
  1. Publications
  2. Awards

Publications

See full list of publications on Google Scholar.

2024

  1. Kov: Transferable and Naturalistic Black-Box LLM Attacks Using Markov Decision Processes and Tree Search

    Robert J. Moss

    arXiv 2408.08899 (2024)

MLA style
Moss, R. J. "Kov: Transferable and Naturalistic Black-Box LLM Attacks Using Markov Decision Processes and Tree Search." arXiv 2408.08899 (2024).
bibtex 
@article{moss2024kov,
  title={{Kov: Transferable and Naturalistic Black-Box LLM Attacks using Markov Decision Processes and Tree Search}},
  author={Moss, Robert J.},
  journal={arXiv 2408.08899},
  year={2024},
}

  1. Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems

    Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, and Arthur Dubios

    AIAA Journal of Aerospace Information Systems (JAIS) 21.7 (2024): 533–546

MLA style
Moss, R. J., Kochenderfer, M. J., Gariel, M., and Dubios, A. "Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems." AIAA Journal of Aerospace Information Systems (JAIS) 21.7 (2024): 533–546.
bibtex 
@article{moss2024bayesian,
  title={{Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems}},
  author={Moss, Robert J. and Kochenderfer, Mykel J. and Gariel, Maxime and Dubios, Arthur},
  journal={{AIAA Journal of Aerospace Information Systems (JAIS)}},
  year={2024},
  volume={21},
  number={7},
  pages={533--546},
}

  1. Chance-Constrained POMDP Planning with Learned Neural Network Surrogates

    Robert J. Moss, Arec Jamgochian, Johannes Fischer, Anthony Corso, and Mykel J. Kochenderfer

    IJCAI Workshop on Trustworthy Interactive Decision-Making with Foundation Models (2024)

MLA style
Moss, R. J., Jamgochian, A., Fischer, J., Corso, A., and Kochenderfer, M. J. "Chance-Constrained POMDP Planning with Learned Neural Network Surrogates." IJCAI Workshop on Trustworthy Interactive Decision-Making with Foundation Models (2024).
bibtex 
@inproceedings{moss2024tidmwfm,
  title={{Chance-Constrained POMDP Planning with Learned Neural Network Surrogates}},
  author={Moss, Robert J. and Jamgochian, Arec and Fischer, Johannes and Corso, Anthony and Kochenderfer, Mykel J.},
  booktitle={IJCAI Workshop on Trustworthy Interactive Decision-Making with Foundation Models},
  year={2024},
}

  1. ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints

    Robert J. Moss, Arec Jamgochian, Johannes Fischer, Anthony Corso, and Mykel J. Kochenderfer

    International Joint Conference on Artificial Intelligence (IJCAI) (2024)

MLA style
Moss, R. J., Jamgochian, A., Fischer, J., Corso, A., and Kochenderfer, M. J. "ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints." International Joint Conference on Artificial Intelligence (IJCAI) (2024).
bibtex 
@inproceedings{moss2024constrainedzero,
  title={{ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints}},
  author={Moss, Robert J. and Jamgochian, Arec and Fischer, Johannes and Corso, Anthony and Kochenderfer, Mykel J.},
  booktitle={International Joint Conference on Artificial Intelligence (IJCAI)},
  year={2024},
}

  1. BetaZero: Belief-State Planning for Long-Horizon POMDPs Using Learned Approximations

    Robert J. Moss, Anthony Corso, Jef Caers, and Mykel J. Kochenderfer

    Reinforcement Learning Journal (RLJ) (2024)

MLA style
Moss, R. J., Corso, A., Caers, J., and Kochenderfer, M. J. "BetaZero: Belief-State Planning for Long-Horizon POMDPs Using Learned Approximations." Reinforcement Learning Journal (RLJ) (2024).
bibtex 
@article{moss2024betazero,
  title={{BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations}},
  author={Moss, Robert J. and Corso, Anthony and Caers, Jef and Kochenderfer, Mykel J.},
  journal={Reinforcement Learning Journal (RLJ)},
  year={2024},
}

2023

  1. Bayesian Safety Validation for Black-Box Systems

    Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, and Arthur Dubios

    AIAA AVIATION Forum (2023)

MLA style
Moss, R. J., Kochenderfer, M. J., Gariel, M., and Dubios, A. "Bayesian Safety Validation for Black-Box Systems." AIAA AVIATION Forum (2023).
bibtex 
@inproceedings{moss2023bayesian,
  title={{Bayesian Safety Validation for Black-Box Systems}},
  author={Moss, Robert J. and Kochenderfer, Mykel J. and Gariel, Maxime and Dubios, Arthur},
  booktitle={{AIAA AVIATION Forum}},
  year={2023},
}

  1. Formal and Practical Elements for the Certification of Machine Learning Systems

    Jean-Guillaume Durand, Arthur Dubois, and Robert J. Moss

    AIAA/IEEE Digital Avionics Systems Conference (DASC) (2023)

MLA style
Durand, J.-G., Dubois, A., and Moss, R. J. "Formal and Practical Elements for the Certification of Machine Learning Systems." AIAA/IEEE Digital Avionics Systems Conference (DASC) (2023).
bibtex 
@inproceedings{durand2023formal,
  title={{Formal and Practical Elements for the Certification of Machine Learning Systems}},
  author={Durand, Jean-Guillaume and Dubois, Arthur and Moss, Robert J.},
  booktitle={{AIAA/IEEE Digital Avionics Systems Conference (DASC)}},
  year={2023},
}

  1. Model-Fidelity Analysis for Sequential Decision-Making Systems Using Simulation Decomposition: Case Study of Critical Mineral Exploration

    Robert J. Moss, Mariia Kozlova, Anthony Corso, and Jef Caers

    Routledge (Under Review) (2023)

MLA style
Moss, R. J., Kozlova, M., Corso, A., and Caers, J. "Model-Fidelity Analysis for Sequential Decision-Making Systems Using Simulation Decomposition: Case Study of Critical Mineral Exploration." Routledge (Under Review) (2023).
bibtex 
@article{moss2023modelfidelity,
  title={{Model-Fidelity Analysis for Sequential Decision-Making Systems using Simulation Decomposition: Case Study of Critical Mineral Exploration}},
  author={Moss, Robert J. and Kozlova, Mariia and Corso, Anthony and Caers, Jef},
  journal={Routledge (under review)},
  year={2023},
}

  1. Uncovering Heterogeneous Effects in Computational Models for Sustainable Decision-Making

    Mariia Kozlova, Robert J. Moss, Julian Scott Yeomans, and Jef Caers

    Environmental Modelling & Software (Under Review) (2023)

MLA style
Kozlova, M., Moss, R. J., Yeomans, J. S., and Caers, J. "Uncovering Heterogeneous Effects in Computational Models for Sustainable Decision-Making." Environmental Modelling & Software (Under Review) (2023).
bibtex 
@article{kozlova2023uncovering,
  title={{Uncovering Heterogeneous Effects in Computational Models for Sustainable Decision-Making}},
  author={Kozlova, Mariia and Moss, Robert J. and Yeomans, Julian Scott and Caers, Jef},
  journal={Environmental Modelling \& Software (under review)},
  year={2023},
}

2022

  1. Prioritizing Emergency Evacuations Under Compounding Levels of Uncertainty

    Lisa J. Einstein, Robert J. Moss, and Mykel J. Kochenderfer

    IEEE Global Humanitairan Technology Conference (GHTC) (2022)

MLA style
Einstein, L. J., Moss, R. J., and Kochenderfer, M. J. "Prioritizing Emergency Evacuations Under Compounding Levels of Uncertainty." IEEE Global Humanitairan Technology Conference (GHTC) (2022).
bibtex 
@inproceedings{einstein2023prioritizing,
  title={{Prioritizing Emergency Evacuations under Compounding Levels of Uncertainty}},
  author={Einstein, Lisa J. and Moss, Robert J. and Kochenderfer, Mykel J.},
  booktitle={{IEEE Global Humanitairan Technology Conference (GHTC)}},
  year={2022},
}

2021

  1. Algorithms for Efficient Validation of Black-Box Systems

    Robert J. Moss

    Stanford University, M.S. Thesis (2021)

MLA style
Moss, R. J. "Algorithms for Efficient Validation of Black-Box Systems." Stanford University, M.S. Thesis (2021).
bibtex 
@article{moss2021algorithms,
  title={{Algorithms for Efficient Validation of Black-Box Systems}},
  author={Moss, Robert J.},
  journal={Stanford University, M.S. Thesis},
  year={2021},
}

  1. A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

    Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, and Mykel J. Kochenderfer

    Journal of Artificial Intelligence Research (JAIR) 72 (2021): 377–428

MLA style
Corso, A., Moss, R. J., Koren, M., Lee, R., and Kochenderfer, M. J. "A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems." Journal of Artificial Intelligence Research (JAIR) 72 (2021): 377–428.
bibtex 
@article{corso2021survey,
  title={{A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems}},
  author={Corso, Anthony and Moss, Robert J. and Koren, Mark and Lee, Ritchie and Kochenderfer, Mykel J.},
  journal={Journal of Artificial Intelligence Research (JAIR)},
  year={2021},
  volume={72},
  pages={377--428},
}

  1. Autonomous Vehicle Risk Assessment

    Robert J. Moss, Shubh Gupta, Robert Dyro, Karen Leung, Mykel J. Kochenderfer, Grace X. Gao, Marco Pavone, Edward Schmerling, Anthony Corso, Regina Madigan, Matei Stroila, and Tim Gibson

    Stanford Center for AI Safety (2021)

MLA style
Moss, R. J., Gupta, S., Dyro, R., Leung, K., Kochenderfer, M. J., Gao, G. X., Pavone, M., Schmerling, E., Corso, A., Madigan, R., Stroila, M., and Gibson, T. "Autonomous Vehicle Risk Assessment." Stanford Center for AI Safety (2021).
bibtex 
@article{moss2021autonomous,
  title={{Autonomous Vehicle Risk Assessment}},
  author={Moss, Robert J. and Gupta, Shubh and Dyro, Robert and Leung, Karen and Kochenderfer, Mykel J. and Gao, Grace X. and Pavone, Marco and Schmerling, Edward and Corso, Anthony and Madigan, Regina and Stroila, Matei and Tim Gibson},
  journal={Stanford Center for AI Safety},
  year={2021},
}

  1. Predictive Risk for Efficient Black-Box Validation of Autonomous Vehicles

    Robert J. Moss

    Stanford University, CS229: Machine Learning (2021)

MLA style
Moss, R. J. "Predictive Risk for Efficient Black-Box Validation of Autonomous Vehicles." Stanford University, CS229: Machine Learning (2021).
bibtex 
@article{moss2021predictive,
  title={{Predictive Risk for Efficient Black-Box Validation of Autonomous Vehicles}},
  author={Moss, Robert J.},
  journal={Stanford University, CS229: Machine Learning},
  year={2021},
}

  1. POMDPStressTesting.jl: Adaptive Stress Testing for Black-Box Systems

    Robert J. Moss

    Journal of Open Source Software (JOSS) (2021)

MLA style
Moss, R. J. "POMDPStressTesting.jl: Adaptive Stress Testing for Black-Box Systems." Journal of Open Source Software (JOSS) (2021).
bibtex 
@article{moss2021pomdpstresstesting,
  title={{POMDPStressTesting.jl: Adaptive Stress Testing for Black-Box Systems}},
  author={Moss, Robert J.},
  journal={Journal of Open Source Software (JOSS)},
  year={2021},
}

  1. Certification Considerations for Adaptive Stress Testing of Airborne Software

    Michael Durling, Heber Herencia-Zapana, Baoluo Meng, Mike Meiners, Joachim Hochwarth, Nicholas Visser, Ritchie Lee, Robert J. Moss, and Vidhya Tekken Valapil

    AIAA/IEEE Digital Avionics Systems Conference (DASC) (2021)

MLA style
Durling, M., Herencia-Zapana, H., Meng, B., Meiners, M., Hochwarth, J., Visser, N., Lee, R., Moss, R. J., and Valapil, V. T. "Certification Considerations for Adaptive Stress Testing of Airborne Software." AIAA/IEEE Digital Avionics Systems Conference (DASC) (2021).
bibtex 
@inproceedings{durling2021certification,
  title={{Certification Considerations for Adaptive Stress Testing of Airborne Software}},
  author={Durling, Michael and Herencia-Zapana, Heber and Meng, Baoluo and Meiners, Mike and Hochwarth, Joachim and Visser, Nicholas and Lee, Ritchie and Moss, Robert J. and Valapil, Vidhya Tekken},
  booktitle={AIAA/IEEE Digital Avionics Systems Conference (DASC)},
  year={2021},
}

2020

  1. Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems

    Robert J. Moss, Ritchie Lee, Nicholas Visser, Joachim Hochwarth, James G. Lopez, and Mykel J. Kochenderfer

    AIAA/IEEE Digital Avionics Systems Conference (DASC) (2020)

MLA style
Moss, R. J., Lee, R., Visser, N., Hochwarth, J., Lopez, J. G., and Kochenderfer, M. J. "Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems." AIAA/IEEE Digital Avionics Systems Conference (DASC) (2020).
bibtex 
@inproceedings{moss2020adaptive,
  title={{Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems}},
  author={Moss, Robert J. and Lee, Ritchie and Visser, Nicholas and Hochwarth, Joachim and Lopez, James G. and Kochenderfer, Mykel J.},
  booktitle={AIAA/IEEE Digital Avionics Systems Conference (DASC)},
  year={2020},
}

  1. Adversarial Weakness Recognition for Efficient Black-Box Validation

    Robert J. Moss

    Stanford University, CS230: Deep Learning (2020)

MLA style
Moss, R. J. "Adversarial Weakness Recognition for Efficient Black-Box Validation." Stanford University, CS230: Deep Learning (2020).
bibtex 
@article{moss2020adversarial,
  title={{Adversarial Weakness Recognition for Efficient Black-Box Validation}},
  author={Moss, Robert J.},
  journal={Stanford University, CS230: Deep Learning},
  year={2020},
}

  1. Cross-Entropy Method Variants for Optimization

    Robert J. Moss

    arXiv 2009.09043 (2020)

MLA style
Moss, R. J. "Cross-Entropy Method Variants for Optimization." arXiv 2009.09043 (2020).
bibtex 
@article{moss2020crossentropy,
  title={{Cross-Entropy Method Variants for Optimization}},
  author={Moss, Robert J.},
  journal={arXiv 2009.09043},
  year={2020},
}

  1. Automated Trash Collection Using Markov Decision Processes

    Robert J. Moss

    Stanford University, CS221: Artificial Intelligence: Principles and Techniques (2020)

MLA style
Moss, R. J. "Automated Trash Collection Using Markov Decision Processes." Stanford University, CS221: Artificial Intelligence: Principles and Techniques (2020).
bibtex 
@article{moss2020trash,
  title={{Automated Trash Collection using Markov Decision Processes}},
  author={Moss, Robert J.},
  journal={Stanford University, CS221: Artificial Intelligence: Principles and Techniques},
  year={2020},
}

2019

  1. ACAS Xu: Integrated Collision Avoidance and Detect and Avoid Capability for UAS

    Michael P. Owen, Adam Panken, Robert J. Moss, Luis Alvarez, and Charles Leeper

    AIAA/IEEE Digital Avionics Systems Conference (DASC) (2019)

MLA style
Owen, M. P., Panken, A., Moss, R. J., Alvarez, L., and Leeper, C. "ACAS Xu: Integrated Collision Avoidance and Detect and Avoid Capability for UAS." AIAA/IEEE Digital Avionics Systems Conference (DASC) (2019).
bibtex 
@inproceedings{owen2019acasxu,
  title={{ACAS Xu: Integrated Collision Avoidance and Detect and Avoid Capability for UAS}},
  author={Owen, Michael P. and Panken, Adam and Moss, Robert J. and Alvarez, Luis and Leeper, Charles},
  booktitle={AIAA/IEEE Digital Avionics Systems Conference (DASC)},
  year={2019},
}

  1. A Parallel Simulation Approach to ACAS X Development

    Adam Gjersvik, and Robert J. Moss

    IEEE High Performance Extreme Computing Conference (HPEC) (2019)

MLA style
Gjersvik, A., and Moss, R. J. "A Parallel Simulation Approach to ACAS X Development." IEEE High Performance Extreme Computing Conference (HPEC) (2019).
bibtex 
@inproceedings{gjersvik2019parallel,
  title={{A Parallel Simulation Approach to {ACAS X} Development}},
  author={Gjersvik, Adam and Moss, Robert J.},
  booktitle={IEEE High Performance Extreme Computing Conference (HPEC)},
  year={2019},
}

2018

  1. Alternative Gravity Rotation Curves for the LITTLE THINGS Survey

    James G. O’Brien, Thomas L. Chiarelli, Jeremy Dentico, Modestas Stulge, Brian Stefanski, Robert J. Moss, and Spasen and Chaykov

    The Astrophysical Journal (2018)

MLA style
O’Brien, J. G., Chiarelli, T. L., Dentico, J., Stulge, M., Stefanski, B., Moss, R. J., and Chaykov, S. and "Alternative Gravity Rotation Curves for the LITTLE THINGS Survey." The Astrophysical Journal (2018).
bibtex 
@article{obrien2019alternative,
  title={{Alternative Gravity Rotation Curves for the LITTLE THINGS Survey}},
  author={O'Brien, James G. and Chiarelli, Thomas L. and Dentico, Jeremy and Stulge, Modestas and Stefanski, Brian and Moss, Robert J. and Chaykov, Spasen and },
  journal={The Astrophysical Journal},
  year={2018},
}

  1. Bayesian Network Model of Pilot Response to Collision Avoidance System Resolution Advisories

    Edward H. Londner, and Robert J. Moss

    Journal of Air Transportation (JAT) 26.4 (2018): 171–182

MLA style
Londner, E. H., and Moss, R. J. "Bayesian Network Model of Pilot Response to Collision Avoidance System Resolution Advisories." Journal of Air Transportation (JAT) 26.4 (2018): 171–182.
bibtex 
@article{londner2018bayesian,
  title={{Bayesian Network Model of Pilot Response to Collision Avoidance System Resolution Advisories}},
  author={Londner, Edward H. and Moss, Robert J.},
  journal={Journal of Air Transportation (JAT)},
  year={2018},
  volume={26},
  number={4},
  pages={171--182},
}

2017

  1. A Bayesian Network Model of Pilot Response to TCAS Resolution Advisories

    Edward H. Londner, and Robert J. Moss

    Air Traffic Management Research and Development Seminar (ATM R&D Seminar) (2017)

MLA style
Londner, E. H., and Moss, R. J. "A Bayesian Network Model of Pilot Response to TCAS Resolution Advisories." Air Traffic Management Research and Development Seminar (ATM R&D Seminar) (2017).
bibtex 
@inproceedings{londner2017bayesian,
  title={{A Bayesian Network Model of Pilot Response to TCAS Resolution Advisories}},
  author={Londner, Edward H. and Moss, Robert J.},
  booktitle={Air Traffic Management Research and Development Seminar (ATM R\&D Seminar)},
  year={2017},
}

  1. Automated Dynamic Resource Allocation for Wildfire Suppression

    J. Daniel Griffith, Mykel J. Kochenderfer, Robert J. Moss, Velibor V. Mišić, Vishal Gupta, and Dimitris Bertsimas

    Lincoln Laboratory Journal 22.2 (2017)

MLA style
Griffith, J. D., Kochenderfer, M. J., Moss, R. J., Mišić, V. V., Gupta, V., and Bertsimas, D. "Automated Dynamic Resource Allocation for Wildfire Suppression." Lincoln Laboratory Journal 22.2 (2017).
bibtex 
@article{griffith2017automated,
  title={{Automated Dynamic Resource Allocation for Wildfire Suppression}},
  author={Griffith, J. Daniel and Kochenderfer, Mykel J. and Moss, Robert J. and Mi\v{s}i\'{c}, Velibor V. and Gupta, Vishal and Bertsimas, Dimitris},
  journal={Lincoln Laboratory Journal},
  year={2017},
  volume={22},
  number={2},
}

  1. Recent Advancements in Conformal Gravity

    James G. O’Brien, Spasen S. Chaykov, Jeremy Dentico, Modestas Stulge, Brian Stefanski, and Robert J. Moss

    Journal of Physics: Conference Series (2017)

MLA style
O’Brien, J. G., Chaykov, S. S., Dentico, J., Stulge, M., Stefanski, B., and Moss, R. J. "Recent Advancements in Conformal Gravity." Journal of Physics: Conference Series (2017).
bibtex 
@inproceedings{obrien2017recent,
  title={{Recent Advancements in Conformal Gravity}},
  author={O'Brien, James G. and Chaykov, Spasen S. and Dentico, Jeremy and Stulge, Modestas and Stefanski, Brian and Moss, Robert J.},
  booktitle={Journal of Physics: Conference Series},
  year={2017},
}

2015

  1. Rotation Curve for the Milky Way Galaxy in Conformal Gravity

    James G. O’Brien, and Robert J. Moss

    Journal of Physics: Conference Series (2015)

MLA style
O’Brien, J. G., and Moss, R. J. "Rotation Curve for the Milky Way Galaxy in Conformal Gravity." Journal of Physics: Conference Series (2015).
bibtex 
@inproceedings{obrien2015rotation,
  title={{Rotation Curve for the Milky Way Galaxy in Conformal Gravity}},
  author={O'Brien, James G. and Moss, Robert J.},
  booktitle={Journal of Physics: Conference Series},
  year={2015},
}

2014

  1. A Comparison of Monte Carlo Tree Search and Mathematical Optimization for Large Scale Dynamic Resource

    Dimitris Bertsimas, J. Daniel Griffith, Vishal Gupta, Mykel J. Kochenderfer, Velibor V. Mišić, and Robert J. Moss

    arXiv 1405.5498 (2014)

MLA style
Bertsimas, D., Griffith, J. D., Gupta, V., Kochenderfer, M. J., Mišić, V. V., and Moss, R. J. "A Comparison of Monte Carlo Tree Search and Mathematical Optimization for Large Scale Dynamic Resource." arXiv 1405.5498 (2014).
bibtex 
@article{griffith2014comparison,
  title={{A Comparison of Monte Carlo Tree Search and Mathematical Optimization for Large Scale Dynamic Resource}},
  author={Bertsimas, Dimitris and Griffith, J. Daniel and Gupta, Vishal and Kochenderfer, Mykel J. and Mi\v{s}i\'{c}, Velibor V. and Moss, Robert J.},
  journal={arXiv 1405.5498},
  year={2014},
}

  1. Rotation Curve Modeler: A Modeling and Simulation Tool for Arbitrary Galaxies

    Robert J. Moss, and James G. O’Brien

    Wentworth Institute of Technology (2014)

MLA style
Moss, R. J., and O’Brien, J. G. "Rotation Curve Modeler: A Modeling and Simulation Tool for Arbitrary Galaxies." Wentworth Institute of Technology (2014).
bibtex 
@article{moss2014comparison,
  title={{Rotation Curve Modeler: A Modeling and Simulation Tool for Arbitrary Galaxies}},
  author={Moss, Robert J. and O'Brien, James G.},
  journal={Wentworth Institute of Technology},
  year={2014},
}

Awards

  1. Best-of-Conference Award

    For the paper "Formal and Practical Elements for the Certification of Machine Learning Systems"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2023

  2. Best-of-Track Award in Unmanned Aircraft Systems & Advanced Air Mobility (UAS/AAM)

    For the paper "Formal and Practical Elements for the Certification of Machine Learning Systems"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2023

  3. Best-of-Session Award in Artificial Intelligence/Machine Learning (AI/ML)

    For the paper "Formal and Practical Elements for the Certification of Machine Learning Systems"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2023

  4. R&D 100 Award for the Collision Avoidance System for Small Uncrewed Aircraft Systems (ACAS sXu)

    Research and Development World, 2022

  5. Christofer Stephenson Memorial Award

    For the best CS master's thesis titled "Algorithms for Efficient Validation of Black-Box Systems"

    Stanford University, 2021

  6. Centennial Teaching Assistant (TA) Award

    For teaching excellence in CS238/AA228: Decision Making Under Uncertainty

    Stanford University, 2021

  7. Best-of-Session Award in Safe & Secure Technologies

    For the paper "Certification Considerations for Adaptive Stress Testing of Airborne Software"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2021

  8. First Place Student Research Award

    For the paper "Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2020

  9. Best-of-Session Award in Validation & Verification

    For the paper "Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2020

  10. Best-of-Track Award in Unmanned Aircraft Systems (UAS)

    For the paper "ACAS-Xu: Integrated Collision Avoidance and Detect and Avoid Capability for UAS"

    AIAA/IEEE Digital Avionics Systems Conference (DASC), 2019

  11. Best-of-Track in Safety and Resilience

    For the paper "A Bayesian Network Model of Pilot Response to TCAS Resolution Advisories"

    FAA/EUROCONTROL Air Traffic Management Research and Development Seminar (ATM R&D Seminar), 2017

  12. R&D 100 Award for the Next-Gen. Unmanned Airborne Collision Avoidance System (ACAS Xu)

    Research and Development World, 2016

  13. MIT Lincoln Laboratory Team Award for the Next-Gen. Airborne Collision Avoidance System (ACAS X)

    MIT Lincoln Laboratory, 2015–2016

  14. Magna Cum Laude

    Wentworth Institute of Technology, 2014