Philip Zucker

Registered user since Mon 24 Aug 2020

Name:Philip Zucker

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
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis


EGRAPHS 2023 Committee Member in Program Committee within the EGRAPHS 2023-track
Show activities from other conferences

Using general profile