Descripción
Realiza actividades enfocadas a construir modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de establecer las diferentes posibilidades que ofrece la física cuántica y en general la física moderna para la construcción de nuevos modelos de computación y programación.
Misión
Promover el contacto y la colaboración entre los diferentes grupos de investigación de Colombia, generar problemas de investigación que se traduzcan en nuevos proyectos, y establecer espacios de divulgación de sus resultados. Además ofrecer cursos de pregrado y postgrado basados en estos.
Visión
El grupo de investigación en Lógica y Computación aspira a ser reconocido en el contexto nacional e internacional por sus logros académicos, resultados investigativos y procesos de divulgación.
Sectores de aplicación
El grupo de investigación ha ido construyendo un estado previo que sirve para:
-
Solucionar problemas concretos en las áreas de construcción y verificación de programas
- Modelar y simular problemas reales en ciencia e ingeniería de los materiales a escala atómica y molecular usando diferentes técnicas y métodos que provienen de la mecánica cuántica, física molecular y física del estado sólido.
Alianzas y convenios estratégicos
Language Engineering and Rigorous Software ALFA Network
En este participaron las siguientes instituciones:
-
Universidad de la Republica (Montevideo), Uruguay
-
Universidad Nacional de San Luis, Argentina
-
Universidade Federal de Minas Gerais, Brasil
-
Universidad Católica de Santiago del Estero
-
Universidade do Minho, Portugal
-
Universiteit Utrecht, Netherlands
-
Universidad de Castilla-La Mancha, Spain
-
Universidad Politécnica de Valencia, Spain
-
Chalmers Tekniska Högskola AB, Sweden
Convenios activos
-
Universidad de Castilla la Mancha, España
-
Universidad de la República, Uruguay
-
Università degli Studi di Udine, Italia
-
Universidad Politécnica de Valencia, España