I'm a Cyber-physical Systems Research Engineer with a passion for building safe autonomous systems using formal methods and AI. Currently, I work at Galois, where we're innovating in the verification of high assurance cyber-physical systems operating in unstructured and uncertain environments.

🔬 My Interests: Signals, Noise, and Trustworthy Systems

• I find the interplay between signals and noise fascinating, especially when it comes to developing reliable systems in the face of uncertainty.
• I thrive in multi-disciplinary teams, collaborating with experts from various domains to deliver end-to-end solutions that make a real impact.

👨‍💻 What You'll Find in My GitHub:

• Projects centered around building safe and autonomous vehicles using formal methods and AI.
• Approaches and methodologies for verifying high assurance cyber-physical systems, particularly in unstructured and uncertain environments.
• Exploring Rust as a safe and fast language, especially with an eye for verification.

PinnedLoading

1. AutoKoopmanAutoKoopmanPublic

   AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.

   Python 72 9

2. GaloisInc/csafGaloisInc/csafPublic

   Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dyn…

   Python 12 4

3. f16-flight-dynamicsf16-flight-dynamicsPublic

   F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".

   C++ 54 11

4. GameOfLifeGameOfLifePublic

   A fast, C++ OpenGL implementation of Conway's Game of Life. Now includes a 3D version!

   C++ 37 9

5. TrollfishTrollfishPublic

   Forked fromofficial-stockfish/Stockfish

   the most powerful chess engine that wants to draw with you

   C++ 34 1

6. RRT_MerciRRT_MerciPublic

   RRT Implementation used for GRAIC Racing Competition

   Rust 2