research areas {software engineering, formal languages}
stuff {face+bio, curriculum (eng), publications, TRIO homepage}
Zot: a Bounded Satisfiability Checker.
Sat-Ts: a SAT-based parser, completer and generator for picture languages specified by tilings (new CNF version 20070225).
Mazpa: parsing tools for some classes of 2D Context-free Grammars (presently, Kolam and Regional tile grammars).
Flup: a simple tool for Operator Precedence Automata and Grammars.
You can look here for some ideas, but for up-to-date stuff please contact me.