Philip Zucker

Registered user since Mon 24 Aug 2020

Name:Philip Zucker
Bio:

Tinkerer. Lover of solvers. Blogger. Cool dude.

Country:United States
Affiliation:Draper
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis

Contributions

Show activities from other conferences

Using general profile