to
{deib,
ieiit}
Matteo Pradella
associate professor
tel +39 02 2399 3495
fax +39 02 2399 3574
e-mail matteo.pradella @ polimi it
where Italy, Milano, via Golgi 42, building 22, floor 3, room 37
twitter @bzoto
A good traveller has no fixed plans and is
not intent on arriving - Lao Tzu
Stolto è il bighellone che si prefigge una meta
- Altan
research areas
{software engineering,
formal languages}
stuff
{face+bio,
curriculum (eng),
publications,
TRIO homepage}
software
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.
courses
You can find all the materials of the courses
Principles of Programming Languages,
Theoretical Computer Science,
and
Algoritmi e Principi dell'Informatica/Informatica Teorica
in
WeBeep.
theses
You can look here
for some ideas, but for up-to-date stuff please contact me.