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