Philippe Suter  Philippe Suter photo       

contact information

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

links


profile


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.