Comunidad CONICET
Investigador asistente
Especialidad
Verificación de Software
Disciplina Científica
Informática y Comunicaciones
- Informática y Comunicaciones
Tema
Análisis de modelos relacionales mediante la exploración de instancias
Lugar de Trabajo
GRUPO DE INGENIERIA DE SOFTWARE
Depende de
- UNIVERSIDAD NACIONAL DE RIO CUARTO
- FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES
Ver más información
Ver menos información
| Dirección: |
| RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina |
Resumen
Información suministrada por el agente en
SIGEVA
Mi principal área de interés es la aplicación de herramientas técnicas y lógico-matemáticas (métodos formales) para la especificación, diseño, análisis y verificación de software en sus diferentes etapas de desarrollo.
Líneas de Investigación
Ingeniería de Software
Ciencias naturales y exactas
- Ciencias de la computación e información
- Ciencias de la computación
Capacidades Tecnológicas
1 - Electrónica, TICs y telecomunicaciones
1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo
- 1.2.1 - Arquitectura avanzada de sistemas
- 1.2.3 - Inteligencia artificial (IA)
- 1.2.6 - Software
- 1.2.8 - Intercambio / procesado de datos / Middleware
- 1.2.9 - Protección de datos, almacenamiento, criptografía, seguridad
- 1.2.10 - Bases de datos, gestión de bases de datos, extracción de datos
- 1.2.13 - Tecnología de información / informática
- 1.2.20 - Software de automatización
Palabras Clave
Análisis y Verificación de Modelos de SoftwareTécnicas y Herramientas Automáticas para el Desarrollo de SoftwareReparación Automática de SoftwareModel Checking Techniques and Tools for Software DevelopmentAutomatic Software Repair
Formación Académica
2006 - 2014
Doctor de la Universidad de Buenos Aires en el área Ciencias de la Computación
UNIVERSIDAD DE BUENOS AIRES
1995 - 2005
Licenciado en Ciencias de la Computación
UNIVERSIDAD NACIONAL DE RIO CUARTO
1995 - 2005
Licenciado en Ciencias de la Computacion
UNIVERSIDAD NACIONAL DE RIO CUARTO
Dirigido por:
AGUIRRE, NAZARENO MATIAS
Carrera Investigador
AGUIRRE, Nazareno Matias
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto