Comunidad CONICET
LERENA, LEOPOLDO

Beca interna doctoral

Especialidad
Semántica de lenguajes de programación
Disciplina Científica
Informática y Comunicaciones
Tema
Contenido computacional de la lógica clásica a través de cálculos con verificaciones y refutaciones.
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Depende de
Ver más información Ver menos información
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Ver mapa
Formación Académica

2016 - 2025

Licenciado en Ciencias Matemáticas

FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES

Formación de RRHH
Dirigido por:
MELGRATTI, HERNAN CLAUDIO
Carrera Investigador
MELGRATTI, Hernan Claudio Carrera Investigador