Mariano M. Moscato
Licenciado en Ciencias de la Computación, Facultad de Ciencias Exactas, Universidad de Buenos Aires
(english version)
Investigación
-
2010, Septiembre. Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias; Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements; In A. Cavalcanti, D. Deharbe, M.-C. Gaudel, J. Woodcock, eds.: Proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Volume 6255 of Lecture Notes in Computer Science, Springer-Verlag.
-
2009, Marzo. Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng; Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy; In Marsha Chechik and Martin Wirsing eds.:Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Volume 5503 of Lecture Notes in Computer Science, Springer-Verlag (2009).
-
2009, Febrero. Mariano M. Moscato, Carlos G. Lopez Pombo, Marcelo Frias; Lessons Learnt on the Verification of Models Using Dynamite; Symposium on Automatic Program Verification APV09; 15 de febrero de 2009, Río Cuarto, Argentina.
-
2007, Marzo. Marcelo F. Frias, Carlos G. Lopez Pombo, Mariano M. Moscato; Alloy Analyzer + PVS in the Analysis and Verification of Alloy Specifications; Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’07, evento miembro de la European Joint Conferences on Theory And Practice of Software (ETAPS'07); 24 Marzo - 1 Abril, 2007, Braga, Portugal.
-
2006, Noviembre. Marcelo F. Frias, Carlos G. Lopez Pombo, Mariano M. Moscato; Dynamite: Alloy Analyzer + PVS in the Analysis and Verification of Alloy Specifications; First Alloy Workshop (collocated with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering); 6 de Noviembre, 2006; Portland, Oregon, EEUU.
-
2004. Mariano M. Moscato; On the Coding Theorem for finite sets; Conference on Logic, Computability and Randomness, 20-24 de septiembre de 2004; Ciudad de Córdoba, Córdoba, Argentina.
Docencia
- 2011
- Primer cuatrimestre: organización del computador I (jefe de trabajos prácticos).
- Cuatrimestre de verano: organización del computador I (jefe de trabajos prácticos).
- 2010
- Primer cuatrimestre: organización del computador I (jefe de trabajos prácticos).
- Cuatrimestre de verano: organización del computador I (jefe de trabajos prácticos).
- 2009
- Primer cuatrimestre: introducción a la computación (ayudante de primera).
- Cuatrimestre de verano: organización del computador I (ayudante de primera).
- 2008
- Segundo cuatrimestre: paradigmas de lenguajes de programación (ayudante de primera).
- Cuatrimestre de verano: organización del computador I (ayudante de primera).
- 2007
- Primer cuatrimestre: paradigmas de lenguajes de programación (ayudante de primera).
- Cuatrimestre de verano: lógica y computabilidad (ayudante de primera).
- 2006
- Segundo cuatrimestre: paradigmas de lenguajes de programación (ayudante de primera).
- 2005
- Segundo cuatrimestre: algoritmos y estructuras de datos I (ayudante de primera).
- Primer cuatrimestre: algoritmos y estructuras de datos I (ayudante de segunda).
- 2004
- Segundo cuatrimestre: algoritmos y estructuras de datos II (ayudante de segunda).
- Primer cuatrimestre: algoritmos y estructuras de datos II (ayudante de segunda).
Contacto
- correo electrónico: mmoscato AT dc DOT uba DOT ar
- teléfono: +54-11-4576-3390/96 (int 713)
- oficina: cuarto 8 - 2° piso - pabellón I
