← Back to Home

Experience

I've worked in some cool places, from startups to defense, building interesting things along the way.

Bronco AI →

Founding Engineer

Building AI agents for chip design and verification.


Real-Time Computing Lab →

Research Assistant

Built, controlled and raced the F1Tenth autonomous vehicle.


OrderLab →

Distributed System Research Assistant

Worked on OathKeeper, a tool used to validate distributed systems to detect and enforce essential semantic rules at runtime for preventing silent semantic violations and maintaining system correctness.


Northrop Grumman →

Networking Software Engineering Intern

PXE boot image generation and automation.


Data Structures Study Group →

Graduate Student Instructor

Teaching and mentoring students in advanced data structures and algorithms, developing educational materials for computer science concepts.


DealsPlus →

Software Engineering Intern

Full stack development.


UCLID5 →

Research Assistant

Research assistance on UCLID5, a modeling and verification language for computer systems and hardware verification.


Joy of Coding →

Teaching Assistant

Teaching assistant for introductory programming courses, helping students learn fundamental coding concepts and problem-solving skills.


Ross School of Business →

Research Assistant

Research assistant at the University of Michigan Ross School of Business, conducting business and technology research.