External-Posts

I’ve been featured in a Galois, Inc. blog post around the work we’re doing with PSU Capstone Projects and our efforts in mentoring students. You can read the full story here.

I contributed to a blog post for Galois, Inc. about how we wrote a secure vehicle demonstrator. See it here.

I wrote a blog post on Galois, Inc. about our autonomous racing competition entry. See it here

I contributed to a blog post for Galois, Inc. about how we wrote an inverted pendulum controller in lean4. See it here.