PUBLICATIONS      TECHNICAL REPORTS

                                Laura Bozzelli
                                             Ramon y Cajal Researcher



Facultad de Informática (UPM)
Campus Montegancedo
28660-Boadilla del Monte, Madrid, Spain

email: laura.bozzelli@fi.upm.es





Research Interests

Formal methods: temporal logics, verification of infinite-state systems (Petri nets, Pushdown Systems, Process Rewrite Systems, Timed Systems, Abstractions of Counter Systems).
Theory: logic, formal languages, automata theory, games.