Welcome to Knot's Homepage

I am a recent PhD graduate (June 2010) from the Computer Science department at the University of California, Los Angeles. I will be joining Google starting early August. My research interests are logical inference and its applications (e.g., SAT, Max-SAT, knowledge compilation). I was a member of the UCLA Automated Reasoning group.

Some facts:

Full name: Email address: Office: Office hours: CV:

Thammanit Pipatsrisawat 4801 Boelter Hall Currently unavailable available upon request