Experience

Pytheia

• United States
• Research Services
• 1 - 100 Employee

• Co-Founder & CEO

  • Dec 2021 - Present

  Atlanta, Georgia, United States



Georgia Institute of Technology

• United States
• Higher Education
• 700 & Above Employee

• Graduate Research Assistant

  • Jan 2016 - Aug 2021

  - Research in safety for spacecraft and autonomous robotics - 700+ citations in the Robotics literature - Graduate research assistantship on cyber-physical safety for Robotarium project



Air Force Research Laboratory

• United States
• Armed Forces
• 700 & Above Employee

• Research Intern

  • May 2020 - Aug 2020

  Dayton, Ohio, United States - Developed algorithms for provably safe guidance and control in the spacecraft docking problem - Developed mixed integer convex program for safety-constrained transfers to natural motion trajectories - Application of control barrier functions for shielded reinforcement learning in the spacecraft docking



KAUST (King Abdullah University of Science and Technology)

• Saudi Arabia
• Higher Education
• 700 & Above Employee

• Visiting Student

  • Jan 2020 - May 2020

  Thuwal, Makkah, Saudi Arabia - Research in safety for autonomous systems



NASA Jet Propulsion Laboratory

• United States
• Defense and Space Manufacturing
• 700 & Above Employee

• Research Intern

  • May 2019 - Aug 2019

  Pasadena, California, United States - Integrated communication and control design for asteroid exploration with a swarm of small satellites - Assisted in development of optimization framework for small body exploration missions - Research published in AIAA Journal of Guidance, Control, and Dynamics



MIT Lincoln Laboratory

• United States
• Defense and Space Manufacturing
• 700 & Above Employee

• Research Intern

  • Jul 2018 - Aug 2018

  Boston, Massachusetts, United States - Formal verification for neural networks used in image classification



Stanford University

• United States
• Higher Education
• 700 & Above Employee

• Visiting Researcher

  • Jun 2018 - Jul 2018

  Stanford, California, United States - Implementation of collision-inclusive trajectory optimization algorithm on 3-DOF spacecraft - Research published in AIAA Journal of Guidance, Control, and Dynamics



MIT Lincoln Laboratory

• United States
• Defense and Space Manufacturing
• 700 & Above Employee

• Research Intern

  • May 2017 - Aug 2017

  Boston, Massachusetts, United States - Formal verification of image classification algorithms - Verification of object classification tasks from convolutional neural networks



ISAE-ENSMA

• France
• Aviation & Aerospace
• 1 - 100 Employee

• Research Intern

  • May 2015 - Jul 2015

  Poitiers, Nouvelle-Aquitaine, France - Controller design and implementation for quadcopter - Contributed to design automation process for credible autocoding of flight controllers