Investigación
Laboratorio Programming
Languages and Tools
Desde que Dmitri Boulytchev lo fundase en 2012, el laboratorio ha estado llevando a cabo investigaciones científicas en el campo de la teoría de los lenguajes de programación, centrándose principalmente en los siguientes temas:
- Programación relacional y lógica
- Modelos de memoria débil y simultaneidad
- Metaprogramación, metacálculos y evaluación parcial
- Semántica y tipos de lenguajes de programación
- Programación certificada y pruebas mecanizadas
- Programación funcional
- Teoría de los lenguajes formales
El otro tema importante en el que se ha centrado el laboratorio es la formación. El laboratorio, que está abierto a estudiantes de grado y máster, permite que estos participen en proyectos de investigación y puedan unirse a programas de doctorado relacionados. Además, los miembros del laboratorio han estado diseñando, impartiendo y asistiendo a cursos sobre los siguientes temas:
- Ingeniería de compilación
- Metacálculos
- Lenguajes formales
- Semántica del lenguaje de programación
- Introducción a la ingeniería de pruebas mecanizadas en Coq
Además, el laboratorio lleva a cabo las siguientes actividades:
- Un seminario semanal teórico y práctico sobre el lenguaje de programación.
- Cursos gratuitos sobre temas relevantes para los intereses de investigación del laboratorio.
- Las becas de verano en JetBrains premiten a los estudiantes trabajar en la empresa entre 1 y 3 meses.
- Un pequeño congreso anual. En este encuentro, los estudiantes del laboratorio pueden presentar los resultados de los trabajos de investigación, los trabajos de final de grado o máster y las becas de verano.
- Un seminario centrado en leer y escribir artículos, donde los participantes desarrollan habilidades específicas necesarias para leer, analizar y escribir trabajos de investigación.
Los nuevos miembros son siempre bienvenidos en el laboratorio. La mejor manera de unirse al grupo es asistir a nuestro seminario semanal o a nuestros cursos abiertos y, después, elegir uno delos temas de investigación disponibles.
Proyectos
Activo
Patching OCaml and ML-like languages
El objetivo de este proyecto es aportar nuevas características a los lenguajes de tipo ML y producir parches que solucionen funcionalidades del lenguaje diseñadas mal o ad-hoc, como las variantes polimórficas, los patrones activos y los módulos.
Metacomputations
El objetivo de este proyecto es investigar y aplicar en la práctica técnicas de metacomputación, como la evaluación parcial, la supercompilación y la destilación.
Inactivo
Semi-local Algorithms
El objetivo de este proyecto es desarrollar y aplicar en la práctica algoritmos LCS y SA parcialmente locales.
Seminarios
Los seminarios de laboratorio tienen lugar cada semana y están abiertos a todo el mundo. En estos se comentan resultados de investigaciones antiguas y nuevas sobre lenguajes de programación y herramientas de lenguaje.
Únase a nuestro grupo de meetup para no perderse las próximas sesiones.
Recomendamos nuestros seminarios a los administradores, a los estudiantes de posgrado y a todos los estudiantes de los laboratorios.
Publicaciones
Escuelas de temporada
El objetivo de las escuelas de verano/invierno es reunir a estudiantes motivados, titulados y desarrolladores de software con investigadores de renombre mundial. En cada escuela se estudia un tema concreto, lo que permite a los participantes sumergirse en un entorno de estudio intensivo y completar un curso largo, que podría ocupar fácilmente un semestre, en solo cinco días. Siempre procuramos que los temas seleccionados estén a la vanguardia en el ámbito de los lenguajes de programación, los compiladores y el desarrollo de herramientas de lenguaje.