![]() |
Doctor Profesor Adjunto de las carrera Licenciatura en Ciencias de la Computación y Doctorado en Ciencias de la Computación en la Facultad de Matemática, Astronomía, Física y Computación de la Universidad Nacional de Córdoba .
![]() |
Docencia: Algoritmos y Estructuras de Datos I , Posgrado en Programación Distribuida Sobre Grandes Volúmenes de Dat , Posgrado en Arquitecturas de Redes Neuronales Artificiales. | ||
![]() |
Tópicos de investigación:
Métodos formales para la construcción de programas
utilizando probadores de teoremas, especialmente para Sistemas
Concurrentes.
|
Damián Barsotti | e-mail : |
![]() |
|
FaMAF
Universidad Nacional de Córdoba Ciudad Universitaria 5000 - Córdoba Argentina |
Teléfono : Fax : Oficina: |
+54 351 4334051 (int. 364) +54 351 4334054 364 |