Home
Projects
CV
This page is under construction... For now, you can check out these GitHub repositories I contribute to.
SMT-based Model Checker
A simple, lightweight C++ API for SMT solvers based on SMT-LIB2
SMT-based Place-and-Route
The Agile Hardware Project Main Repository