1. CONICET
  2. CONICET Community
  3. NAZARENO MATIAS AGUIRRE
CONICET Community
AGUIRRE, NAZARENO MATIAS

Independent researcher

Speciality
Métodos formales de desarrollo de software - Fundamentos de la Ingeniería de Software
Scientific discipline
Computer Science and Communications - Computer Science and Communications
Topic
Automated Software Analysis based on SAT-Solving and Applications in Software Engineering
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
Mis áreas de especialidad en investigación corresponden a Ingeniería de Software, particularmente Métodos Formales de desarrollo. Dentro de este campo, trabajo en una variedad de temas, incluyendo el Análisis automático de Código y Especificaciones (abarcando, en este tema, la verificación de código con anotaciones, la verificación acotada de modelos y diseños, y el testing automático), y Fundamentos de Lenguajes de Especificaciones Formales.
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.6 - Computer Software
  • 1.2.9 - Data Protection, Storage Technology, Cryptography, Data Security
  • 1.2.13 - Information Technology/Informatics
  • 1.2.15 - Knowledge Management, Process Management
  • 1.2.20 - Building Automation Software
  • 1.2.22 - Smart Appliances
Key Words
Análisis de SoftwareMétodos formales de desarrollo de softwareIngeniería de SoftwareFormal Methods for Software DevelopmentSoftware EngineeringSoftware Analysis
Education

2000 - 2004

Doctor of Philosophy (PhD, field of study: Computer Science)

King's College London, University of London

1994 - 1999

Licenciado en Ciencias de la Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO

1994 - 1997

Analista en Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO

HR Training
Director of:
GUTIÉRREZ BRIDA, SIMÓN EMMANUEL
Scientific Research Career at CONICET
REGIS, GERMAN ENRIQUE
Scientific Research Career at CONICET
BORDA, AGUSTIN
Scholars
CORNEJO, CÉSAR MAURICIO
Scholars
DICHIARA, BRENDA AYLÉN
Scholars
NOLASCO, FRANCO AGUSTÍN
Scholars

GUTIÉRREZ BRIDA, Simón Emmanuel Scientific Research Career at CONICET

REGIS, German Enrique Scientific Research Career at CONICET

BORDA, Agustin Scholars

CORNEJO, César Mauricio Scholars

DICHIARA, Brenda Aylén Scholars

NOLASCO, Franco Agustín Scholars

Co-director of:
Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message