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, and IDTO, a solver for contact-implicit trajectory optimization.

You can find these projects and more on github.