|
Senior Lecturer (Profesor
Asociado), Computer Science,
FaMAF,
Universidad Nacional
de Córdoba
Researcher (Investigador Adjunto), CONICET |
| Visit: | IFIP WG 1.8, SADIO, QEST. |
| Submit: | QFM 2009, LADC 2009, QEST 2010, DEVS 10. |
| Attend: | 16th Summer School on Computer Science RIO 2009. |
| Teaching: |
Sistemas Operativos (Sem 2, 2009)
Ingeniería del Software II (Sem 1, 2009) |
| 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. | |