I'm a PhD candidate in Computer Science at the University of Virginia advised by Dr. Sebastian Elbaum. My work revolves around the robustification and validation of robotic systems that rely on machine-learned components for safety-critical operations.
🧠 Expertise: Machine Learning, Robotics, Python, SE4ML
🔗 [Personal website] - [LinkedIn]
🛠️ Skills
- Languages: Python, C++, Matlab, SQL (Postgres), TypeScript
- Frameworks: PyTorch, Flask/FastAPI, Rails, React, Node.js
- Developer Tools: Git, Docker, VS Code, PyCharm
- Libraries: pandas, NumPy, Huggingface, Matplotlib, plotly, Ardupilot, ROS1&2