BECAS
MARTÍNEZ Guido
datos académicos
Título/s
Licenciado en Ciencias de la Computación
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Campo de aplicación
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Ciencias de la Computación
Tema
Metateoría para la verificación semiautomática de programas con efectos
Tema en inglés
Metatheory for semiautomated verification of effectful programs
Director
Co-director
HRITCU, CATALIN
Lugar de trabajo
[CIFASIS] CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS -
[CCT - CONICET - ROSARIO] CENTRO CIENTIFICO TECNOLOGICO CONICET - ROSARIO -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -