Philippe Suter  Philippe Suter photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA



I joined IBM as a Research Staff Member in June 2013. I received my PhD from EPFL, in Lausanne, Switzerland. My dissertation focused on the application of symbolic reasoning techniques, in particular SMT solving, to program verification, program synthesis, and implicit (constraint) programming.