I am one of the main contributor(s) of the following software packages:

• dReal: An SMT Solver for Nonlinear Theories of Reals
• rekh: Static Analysis of Real-Time Systems