Welcome to Knot's Homepage

I am currently a PhD candidate in the Computer Science department at the University of California, Los Angeles. I expect to graduate sometime in 2010. My research interests are logical inference and its applications (e.g., SAT, Max-SAT, knowledge compilation). I am 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