Ambientes Visuales de Programación Aplicativa - AVISPA

Contáctenos
Camilo Rueda Calderón
Líder de grupo

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.

Además, Avispa considera que para que sus modelos sean efectivos en muchas aplicaciones del mundo real es necesario que los formalismos admitan  representar sistemas capaces de actuar en presencia de información parcial (i.e. restricciones) sobre su entorno. El enfoque del grupo es entonces hacia formalismos derivados de la teoría de procesos concurrentes, en particular los cálculos de procesos concurrentes guiados por restricciones (concurrent constraints process calculi ). Un aspecto que se deriva de esto es la búsqueda de mecanismos y tecnologías de restricciones para resolver problemas combinatorios.

GRUPLAC:

Para ingresar al GRUPLAC Colciencias clic aquí.

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

PROFESORES PERMANENTES

Profesor: Camilo Rueda
Nivel de formación: Doctorado
Área del conocimiento: Métodos formales e interacción

Profesor: Frank Valencia 
Nivel de formación: Doctorado

Profesor: Camilo Rocha Nio
Nivel de formación: Doctorado
Área del conocimiento: Métodos formales y la lógica computacional

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

Sábado, Junio 1, 2019

L M M J V S D
27
28
29
30
31
1
2
 
 
 
 
 
 
 
3
4
5
6
7
8
9
 
Así fue el Student Research Jue, 06/06/2019 - 09:59
 
 
 
 
 
A prueba los estudiantes de Arquitectura Mié, 06/05/2019 - 10:09
 
Premio: Jorge Bernal Mié, 06/05/2019 - 15:02
 
 
 
10
11
12
13
14
15
16
Únete al philosophy workshop 2019 Mar, 06/11/2019 - 08:58
 
 
 
 
 
 
 
 
 
17
18
19
20
21
22
23
Nuevos secretarios de facultad Lun, 06/17/2019 - 07:15
 
 
 
 
 
Sustentación de trabajos de grado FCEA Mié, 06/19/2019 - 10:22
 
 
 
 
24
25
26
27
28
29
30
 
 
 
 
 
 
 

Páginas