Ambientes Visuales de Programación Aplicativa - AVISPA

Contáctenos

Información

DESCRIPCIÓN DEL GRUPO

Avispa se interesa en explorar formalismos que permitan modelar y construir sistemas de manera que se puedan expresar y verificar con precisión sus propiedades. Los formalismos que privilegia el grupo son aquellos que permitan una visión dual del sistema: la de mecanismo de cómputo, por una parte, que permita construir simuladores eficientes y la de fórmula lógica, por otra, que permita verificar automáticamente sus propiedades.

LÍNEAS DE INVESTIGACIÓN

Línea: Especificación, modelamiento y verificación de sistemas complejos
Objetivos:
- Diseñar cálculos de procesos concurrentes de restricciones eficaces para modelar sistemas complejos
- Idear mecanismos automáticos eficientes de verificación de propiedades de los sistemas
- Modelar sistemas complejos en distintas áreas de la ciencia e ingeniería Línea: Modelamiento y construcción de software 

REDES

Internacionales

  • IRCAM (Francia): Grupo Répresentations Musicales Grupo Museum I+D+C, Universidad Complutense
  • Ecole Polytechnique (Francia): Grupo Comète
  • Université de Bordeaux I (Francia): Grupo LABRI
  • Université Catholique de Louvain (Bélgica): Instituto ICTEAM
  • Universidad de Madeira (Portugal): Instituto MITI
12

Equipo

Camilo Rueda Calderón
Director
  1. Antal Buss Molina

  2. Camilo Rocha

  3. Camilo Rueda Calderón

  4. Elaine Pimentel

  5. Frank Valencia

  6. Gérard Assayag

  7. Jesús Aranda

  8. Jorge Pérez Parra

  9. Juan Francisco Díaz

  10. Julián Gutiérrez

  11. Luis Omar Quesada

  12. Néstor Cataño Collazos

12

Equipo

Camilo Rueda Calderón
Director
  1. Antal Buss Molina

  2. Camilo Rocha

  3. Camilo Rueda Calderón

  4. Elaine Pimentel

  5. Frank Valencia

  6. Gérard Assayag

  7. Jesús Aranda

  8. Jorge Pérez Parra

  9. Juan Francisco Díaz

  10. Julián Gutiérrez

  11. Luis Omar Quesada

  12. Néstor Cataño Collazos

Clasification: 
CATEGORÍA A1
Suscribirse a RSS: blogs

Conexión Javeriana

Martes, Enero 1, 2019

L M M J V S D
31
1
2
3
4
5
6
 
 
 
 
 
 
 
7
8
9
10
11
12
13
 
 
 
 
 
 
 
14
15
16
17
18
19
20
Nuestra apuesta por la sostenibilidad Lun, 01/14/2019 - 08:18
 
 
 
El programa ÓMICAS abre convocatoria Mar, 01/15/2019 - 11:40
 
 
 
 
 
 
 
 
21
22
23
24
25
26
27
 
 
 
 
 
 
 
28
29
30
31
1
2
3
 
 
 
 
 
 
 

Páginas