Comunidad CONICET
Investigador adjunto
Especialidad
COMPOSICION DE SERVICIOS
Disciplina Científica
Informática y Comunicaciones
Tema
Desarrollo de modelos y técnicas de análisis para sistemas globales
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Ver más información
Ver menos información
| Dirección: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Ver mapa
Resumen
Información suministrada por el agente en
SIGEVA
Concurrency Theory; Programming Languages, Formal Methods.
Líneas de Investigación
Lenguajes de programación concurrentes
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.6 - Software
Palabras Clave
Process calculiType systemsProgramming languagesSistemas de tiposLenguajes de programaciónCálculos de processos
Formación Académica
PH. D. EN INGENIERIA
MIGRACION FORMACION ACADEMICA - SIGERH
ING. EN SISTEMAS DE LA INFORMACION
FACULTAD REGIONAL SANTA FE, UNIVERSIDAD TECNOLOGICA NACIONAL
Director de:
BARENBAUM, PABLO
Carrera Investigador
LERENA, LEOPOLDO
Becarios
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto