SPLASH 2024 (series) / 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
Personal website: https://www.philipzucker.com
X (Twitter): https://x.com/sandmouth
GitHub: https://github.com/philzook58
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis
Contributions
SPLASH 2024-profile
View general profile
View general profile