CONICET Community
Adjunctive researcher
Speciality
COMPOSICION DE SERVICIOS
Scientific discipline
Computer Science and Communications
Topic
Models and static analysis for global computing applications
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Dependencies
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Show more information
Show less information
| Address: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Show map
Summary
Information provided by the agent in
SIGEVA
Concurrency Theory; Programming Languages, Formal Methods.
Lines of Investigation
Lenguajes de programación concurrentes
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.6 - Computer Software
Key Words
Process calculiType systemsProgramming languagesSistemas de tiposLenguajes de programaciónCálculos de processos
Education
PH. D. EN INGENIERIA
MIGRACION FORMACION ACADEMICA - SIGERH
ING. EN SISTEMAS DE LA INFORMACION
FACULTAD REGIONAL SANTA FE, UNIVERSIDAD TECNOLOGICA NACIONAL
Director of:
BARENBAUM, PABLO
Scientific Research Career at CONICET
LERENA, LEOPOLDO
Scholars
Loading section
Science and Technology Production...
Loading section
Services...
Contact