Registered user since Mon 24 Aug 2020
Name:Philip Zucker
Bio:
A member of the formal methods group at Draper Labs, working on a constraint based compiler and binary verification using BAP. Interested in all things Datalog.
Country:United States
Affiliation:Draper
Personal website:https://www.philipzucker.com
Twitter:https://twitter.com/sandmouth
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis
Contributions
| EGRAPHS 2023 | Committee Member in Program Committee within the EGRAPHS 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile