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 Floyd Automata and Grammars.
Argomenti attualmente in ballo: SAT/SMT-based verification, Tile-based systems, 2D languages, Floyd languages for parsing and model checking.