Write a Blog >>
Philippe Suter

Registered user since Wed 10 Dec 2014

Name: Philippe Suter

Affiliation: Two Sigma

Personal website: https://psuter.net/

Research interests: Programming Languages, Formal Methods, Software Verification, Software Synthesis, Constraint Solving, SAT, SMT

Contributions

PLDI 2017Publications Chair in Organizing Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile