AVISPA Research Group

AVISPA gathers together researchers from the Pontificia Universidad Javeriana at Cali and the Universidad del Valle, as well as from recognized european academic institutions such as the The French Acoustics/Music Research Institute (IRCAM) and the École Polytechnique of Paris.
AVISPA has been ranked as "A1", the highest quality qualification given to research groups by COLCIENCIAS (the Colombian Agency for Science and Technology Development).
Since 2008, AVISPA is an INRIA Associate Team with the FORCES project.

AVISPA aims at defining computational models that allow to understand the nature and the behavior of complex systems as the observation of the evolution and interaction of their processes. From a more practical standpoint, AVISPA seeks to verify the effectiveness of the proposed models by building applications intended to solve real problems in

• the sciences (e.g. modelling and verification of complex biological systems)
• the engineering (e.g. modelling and solving of scheduling/logistics problems, verification of communication protocols)
• the arts (e.g. formal languages and tools for computer music)

AVISPA focuses on the idea of interaction understood as the interchange/accumulation of information, as proposed by V. Saraswat in its concurrent constraint programming (ccp) model.

See AVISPA's profile on Colciencias Scienti.

See the AVISPA Poster (in Spanish) for a non-technical introduction to our research interests.

1. To devise models of concurrent processes that integrate different programming paradigms and that appropriately represent complex systems. Our interest is the (possibly automated) verification of fundamental properties of systems arising in areas such as distributed systems, systems biology, computer security and computer music.
2. To develop formalisms and tools for modelling and solving combinatorial problems, using techniques from (concurrent) constraint programming. Such tools could be useful in a wide variety of fields, including planning, resource assignment, musical composition, among many others.
3. To conceive and implement software tools for supporting multimedia interaction, mainly in the form of concurrent constraint-based tools and languages. We are particularly interested in developing software that supports the process of generating complex musical material while enacting rich forms of musical interactions.
4. To propose methodologies and tools for integrating formal models into the main stream of software construction

• Prof. Camilo Rueda, Department of Electronics and Computer Science, Pontificia Universidad Javeriana - Cali. Email: crueda at cic.puj.edu.co.
• Prof. Juan F. Díaz, School of Computer Science, Universidad del Valle. Email: juanfco.diaz at correounivalle.edu.co
• Dr. Frank D. Valencia, CNRS Associate Research Scientist at LIX, École Polytechnique & Associate Professor at Pontificia Universidad Javeriana - Cali. Email: frank.valencia at lix.polytechnique.fr.
• Dr. Gerard Assayag, Musical Representations Team, CNRS UMR Stms,IRCAM Paris. Email: assayag at ircam.fr.

• Dr. Luis O. Quesada. Research Project Leader at the Insight Centre for Data Analytics, University College Cork, Ireland.
• Dr. Nestor Cataño. Associate Professor at Innopolis University, Russian Federation.
• Dr. Gerardo M. Sarria M. Associate Professor at Pontificia Universidad Javeriana - Cali, Colombia.
• Dr. Carlos Olarte. Associate Professor at Universidade Federal do Rio Grande do Norte, Brazil.
• Dr. Jesús Aranda. Assistant Professor at Universidad del Valle, Colombia.
• Dr. Jorge A. Pérez. Assistant Professor at University of Groningen, The Netherlands
• Dr. Julian Gutierrez. Lecturer at University of Oxford, United Kingdom.
• Dr. Alejandro Arbelaez. Postdoctoral Researcher at theCork Institute of Technology, Ireland.
• Dr. Mauricio Toro. Assistant professor at Eafit University, Colombia.
• Dr. Alberto Delgado. Senior Optimization Specialist at Optivation, Denmark.
• Dr. Hugo A. López. Postdoctoral researcher at Technical University of Denmark, Denmark.
• Dr. James J. Ortiz. Postdoctoral Researcher at University of Namur, Belgium.
• Dr. Andrés A. Aristizábal P.. Assistant Professor at Universidad Icesi, Colombia.
• Dr. Jaime Arias. CNRS Research Engineer at LIPN, Université Paris 13, France.
• Dr. Carlos Alberto Ramirez. Assistant Professor at Pontificia Universidad Javeriana - Cali, Colombia.
• Dr. Víctor Rivera. Assistant Professor at Innopolis University, Russian Federation.
• Dra. Diana P. Hermith Ramírez. Lecturer at Pontificia Universidad Javeriana - Cali, Colombia.
• Dr. Luis F. Pino. Software Engineer at Google Munich, Germany.
• Dr. Andrés F. Barco. Assistant Professor at Universidad de San Buenaventura - Cali, Colombia.
• Dr. Salim Perchy. Research Engineer at Inria Nancy-Grand Est, France.
• Dr. Michell Guzmán. Laboratoire d'Informatique, École Polytechnique de Paris, France.
• Dr. Camilo Rocha. Associate Professor at Pontificia Universidad Javeriana - Cali, Colombia.

• Gustavo Gutiérrez, Department of Computing Science and Engineering, Catholic University of Louvain, Belgium.
• Mauricio Cano, University of Groningen, The Netherlands. Email: m.a.cano.grijalba at rug.nl
• Robinson Duque, School of Computer Science, Universidad del Valle, Colombia.
• Santiago Quintero, LIX, Laboratoire d'Informatique, École polytechnique, France.

• Ángela Villota Gómez, School of Computer Science, Universidad del Valle.
• Juan Carlos Martinez, Department of Electronics and Computer Science, Universidad Javeriana - Cali.
• Gonzalo J. Hernandez, School of Computer Science, Universidad de Nariño.

• Misael Viveros, Student at Pontificia Universidad Javeriana - Cali. Thesis topic:
• Adolfo L. Canizales, Student at Universidad del Valle. Thesis topic:
• Shigeo Nishi, Student at Pontificia Universidad Javeriana - Cali. Thesis topic:

• Miguel Angel Villanueva, Student at Universidad del Valle.
• Andrés Mauricio Tabares, Student at Universidad del Valle.

1. EPIC. STIC-AmSud project funded by CAPES (Brazil), COLCIENCIAS (Colombia) and INRIA (France). The partner institutions are Universidade Federal do Rio Grande do Norte (UFRN), Universidade Federal de Minas Gerais (UFMG), Pontificia Universidad Javeriana de Cali (PUJ) and CNRS-LIX, Ecole Polytechnique de Paris (EP).
2. CLASSIC: Concurrency, Logic and Algebra for Social and Spatial Interactive Computation.

1. REACT+: Robust theories for Emerging Applications in Concurrency Theory. Funded by Colciencias, the Pontificia Universidad Javeriana, IRCAM and the École Polyechnique of Paris.
2. WESP. Funded by CMU (Carnegie Mellon University) and FCT (the Portuguese Science Foundation), and involves people from University of Madeira, Instituto Superior Técnico of Lisbon, CMU (Carnegie Mellon University), PUJ (Pontificia Universidad Javeriana) and the Portuguese end-user organisation SAPO/Portugal Telecom.
3. Aeminium. Funded by CMU (Carnegie Mellon University) and FCT (the Portuguese Science Foundation), and involves people from University of Madeira, University of Coimbra, CMU (Carnegie Mellon University), The National Institute of Aerospace and PUJ (Pontificia Universidad Javeriana).
4. The project with the IRCAM's Music Representation Group
5. Executing JML Specifications. This project is funded by Universidad de Madeira, in collaboration with Timothy Wahls at Dickinson College and Camilo Rueda at PUJ.
6. Mozart2 CSS - Constraint Subsystem for the new Mozart implementation. (in collaboration with Peter Van Roy's group at the Department of Computing Science and Engineering, Catholic University of Louvain, Belgium.)
7. REACT: Robust theories for Emerging Applications in Concurrency Theory. Funded by Colciencias, the Pontificia Universidad Javeriana, IRCAM and the École Polyechnique of Paris.
8. COCOS - COnstraints and COncurrency in Security. Check out the web site.
9. Using Process Calculi in Problems in Science and Technology (January 2005 - July 2006). Project funded by the Pontificia Universidad Javeriana.
10. CRISOL: Constraint Research for Innovation in Software Solutions (2002-2005). Project funded by Colciencias, Pontificia Universidad Javeriana, Universidad del Valle and Parquesoft.
11. AVISPA (Supported by Colciencias)
12. FORCES, an international collaboration with INRIA.
13. GeOZ - Integrating Gecode into the Mozart Programming System (in collaboration with Peter Van Roy's group at the Department of Computing Science and Engineering, Catholic University of Louvain, Belgium.)

For a complete publication list (with abstracts and bib entries) look at the Publications Repository.

Permanent Avispa Seminar at Pontificia Universidad Javeriana and Universidad del valle: Seminar
For a complete events list look at here.

• ntccSim: a simulation tool for timed concurrent processes
• osc-oz: an implementation of the OSC protocol for Mozart/Oz
• XRI: a constraint system for continous domains
• Soft Constraints for Mozart: a set of propagators and distribution criteria for solving problems including fuzzy constraints.
• Gelisp: a portable and efficient wrapper for the Gecode library to Common Lisp.
• Mozart_Gecode: a Mozart version that uses Gecode as the underlying constraint engine (in development).
• CREAR: an advisor for articles distribution within an academic event.
• Bioways: BIOchemical pathWAY Simulator
• Alcove: Aeminium Linear COnstraints VErifier
• ntccRT: Real-time capable simulator for the non-deterministic timed concurrent constraint programming (ntcc) calculus
• ntccMC: Bounded-time automata-based model checker for ntcc.

* ntccModelChecker: NTCC model checker based on Kripke structures with cLTL formula and NTCC process construction support.

• ccpBis: CCP Bisimilarity Verification Tool. Verifies either strong or weak bisimilarity between finite CCP programs.
• tccBis: TCC Bisimilarity Verification Tool. Verifies either strong or weak bisimilarity between finite TCC programs.
• Formalizing (First Order) Linear Logic (cut-elimination + focusing) in Coq.
• Prover for Simply Dependent Multimodal Linear Systems.
• SiLVer: Symbolic links verifier.

In this page you can find some introductory readings and links on the areas of interest of AVISPA. See the AVISPA Poster (Spanish) for a non-technical introduction to our research interests.

Here are some topics for thesis work at AVISPA. Notice that they're are very general, and can be modified/refined according to the interests of the student. In case you're interested, feel free to send an email to the contact person(s) (or even better, to come to the AVISPA office).

Click here for an initial brain-storming

Write us an email to avispa at googlegroups.com. You can also subscribe to the AVISPA list using the box below. The use of your academic email (e.g., ending with “puj.edu.co” or “univalle.edu.co”) is strongly recommended.

Subscribe to the AVISPA Mailing List
	Email:
Browse Archives at groups.google.com