CONICET Community
Assistant researcher
Speciality
Verificación de Software
Scientific discipline
Computer Science and Communications
- Computer Science and Communications
Topic
Analysis of Relational Models through Instances Exploration
Workplace
GRUPO DE INGENIERIA DE SOFTWARE
Dependencies
- UNIVERSIDAD NACIONAL DE RIO CUARTO
- FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES
Show more information
Show less information
| Address: |
| RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina |
Summary
Information provided by the agent in
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.
Lines of Investigation
Ingeniería de Software
Natural and exact sciences
- Computer and information sciences
- Computer sciences
Technological Capacities
1 - Electronics, IT and Telecoms
1.2 - Information Processing, Information System, Workflow Management
- 1.2.1 - Advanced Systems Architecture
- 1.2.3 - Artificial Intelligence
- 1.2.6 - Computer Software
- 1.2.8 - Data Processing/Data Interchange, Middleware
- 1.2.9 - Data Protection, Storage Technology, Cryptography, Data Security
- 1.2.10 - Databases, Database Management, Data Mining
- 1.2.13 - Information Technology/Informatics
- 1.2.20 - Building Automation Software
Key Words
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
Education
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
Directed by:
AGUIRRE, NAZARENO MATIAS
Scientific Research Career at CONICET
AGUIRRE, Nazareno Matias
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact