|
Lecturer (Profesor Adjunto),
Computer
Science, FaMAF, Universidad Nacional de
Córdoba
Researcher (Investigador Adjunto), CONICET |
| Visit: | SADIO, IFIP WG 1.8 |
| Submit:
Attend: Schools: |
CONCUR 2008,
CLEI 2008,
EST 2008
QEST 2008. ARTIST2 South-American School for Embedded Systems 2008 |
| Teaching: | Ingeniería
del Software II (Sem 1, 2008)
Ingeniería del Software I (Sem 2, 2007) Verificacion de Sistemas Críticos (Sem 2, 2007) |
| See a list of Call for Papers (Maintained by Miguel Pagano) | |
| Research interests: Formal methods for the modelling and analysis of Reactive Systems in general, including Concurrent, Distributed, Embedded and (Hard and Soft) Real-Time Systems. Techniques include, Process algebra, Automata, Operational Semantics, Bisimulation, Model Checking, Stochastic Processes, Temporal Logics, and Formal Testing. | |