Software
As part of my research, I aim to develop and maintain high-quality open-source code, primarily in python and C++.
Software projects that I’m particularly proud of include stlpy, a python library for signal temporal logic; IDTO, a solver for contact-implicit trajectory optimization; and hydrax, a toolkit for GPU-accelerated sampling-based model predictive control.
You can find these projects and more on github.