I have been fortunate to contribute to several open-source academic projects. Below are some of the tools I have worked on over the years.

• Co-developer TriCera C Model Checker
  A Horn-based model checker for C programs.
  Source Code Web Interface
• Contributor Eldarica Horn Solver
  A solver for Constrained Horn Clauses used as a backend for verification tools.
  Source Code Web Interface
• Contributor Princess SMT Solver
  A theorem prover for first-order logic modulo theories.
  Source Code Web Interface