Ambientes Visuales de Programación Aplicativa (AVISPA)

Información del grupo

El grupo tiene tres ejes de acción: 1) Búsqueda de formalismos para modelar procesos concurrentes y distribuídos 2) Teoría y aplicaciones de la programación concurrente de restricciones 3) Programación con restricciones para la solución de problemas de optimización combinatoria La estrategia general es mantenerse en el estado del arte en estas áreas a través de la definición de proyectos concretos de investigación que conduzcan al desarrollo de software no tradicional con gran valor agregado de conocimiento computacional. El plan general de trabajo consiste en 1) Identificar aplicaciones interesantes en la industria, la ciencia y la música, en las que los modelos de concurrencia y programación por restricciones puedan agregar valor. 2) Analizar cuidadosamente el desempeño del software en esas áreas, identificando así limitaciones de la tecnología que sugieran campos precisos de investigación (Las actividades 1 y 2 se realizan en general con el soporte financiero de las instituciones que participan en el grupo (Javeriana-Cali, Univalle y el IRCAM) 3) Identificados los campos específicos, proponer modelos y difundirlos en congresos internacionales. En ellos buscar asociaciones con grupos de interés similar, particularmente europeos. 4) Proponer proyectos mixtos de investigación/desarrollo, que involucren alguna institución del sector productivo y en los que participan pares de universidades europeas 5) Paralelamente a los anteriores, mantener una línea de capacitación en las tecnologías y formalismos de interés del grupo, a nivel pregrado y doctorado, tanto en la Universidad Javeriana-Cali como en la Universidad del Valle, El propósito es garantizar la continuidad del grupo formando jóvenes investigadores que rápidamente se vuelvan productivos en los temas de interés del grupo. 6) Realización de seminarios periódicos interinstitucionales para mantener a todos los integrantes del grupo al tanto de los avances de los trabajos de todos sus miembros. 

Miembros activos del grupo 

Líneas de investigación

1. Composición asistida por computador
2. Lenguajes Visuales
3. Programación concurrente por restricciones
4. Cálculo de procesos concurrentes
5. Modelamiento computacional de sistemas
6. Procesamiento distribuido y paralelo

GrupLAC del grupo de investigación

Ingresa aquí