|
Senior Lecturer (Profesor
Asociado), Computer Science,
FaMAF,
Universidad Nacional
de Córdoba
Researcher (Investigador Adjunto), CONICET |
| Visit: | JLAP, QEST, SADIO, IFIP WG 1.8. |
| Submit: | QUOVADIS 2011, QEST 2011, SEFM 2011, ASSE 2011 (40 JAIIO). |
| Attend: | Escuela de Verano de
Ciencias Informáticas RIO 2011,
Primera Escuela Argentina de GPGPU Computing para Aplicaciones Científicas. |
| Teaching: |
Ingeniería del Software II (Sem 1, 2011)
Sistemas Operativos (Sem 2, 2010) |
| 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. | |