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 2017 Publications Chair in Organizing Committee
Show activities from other conferences

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