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

Viernes, Marzo 1, 2019

L M M J V S D
25
26
27
28
1
2
3
 
 
 
 
 
 
¡Celebremos lo que somos! Vie, 03/01/2019 - 19:19
 
Las torres javerianas del papel Vie, 03/01/2019 - 20:23
 
Peregrinos, encuentro y camino Vie, 03/01/2019 - 21:05
 
 
4
5
6
7
8
9
10
Nueva tarjeta monedero ¡Conócela! Mar, 03/05/2019 - 14:24
 
 
 
¡Compostemos! Mar, 03/05/2019 - 18:19
 
 
Los 15k de menos tráfico Lun, 03/04/2019 - 14:47
 
Nuevos 'bici' parqueaderos Mar, 03/05/2019 - 19:00
 
La feria de la internacionalización Mié, 03/06/2019 - 20:10
 
¿Qué es eso de Agroecología? Lun, 03/04/2019 - 14:49
 
 
 
 
 
 
 
11
12
13
14
15
16
17
 
Cambiando por la sostenibilidad Vie, 03/15/2019 - 09:33
 
 
Cuidémonos del dengue Lun, 03/11/2019 - 07:43
 
Misión a China 2019 Mié, 03/13/2019 - 10:51
 
Formar para la ética y el diálogo Vie, 03/15/2019 - 18:22
 
 
¿Qué es una buena universidad? Lun, 03/11/2019 - 08:08
 
 
Dona tu árbol Mié, 03/13/2019 - 17:14
 
El arbitraje se toma la Universidad Jue, 03/14/2019 - 15:58
 
¡Javerianos listos para Hackathon! Mié, 03/13/2019 - 18:13
 
 
 
[Febrero] Vive las actividades del VMU Lun, 03/11/2019 - 10:27
 
 
 
18
19
20
21
22
23
24
Cuida el agua, cuida tu futuro Vie, 03/22/2019 - 08:47
 
 
 
[CONCURSO] 'El Amigo Sostenible' Lun, 03/18/2019 - 14:57
 
Compartamos juntos un regalo japonés Mar, 03/19/2019 - 10:17
 
¡Gracias profesor Valencia López! Mié, 03/20/2019 - 09:59
 
Yo lo uso, yo me comprometo Mié, 03/20/2019 - 11:11
 
 
 
 
 
 
Buscamos docentes Mié, 03/20/2019 - 17:50
 
 
25
26
27
28
29
30
31
 
 
 
 
 
 
 

Páginas