Laboratorio de Lenguajes y Herramientas de Programación

Desde que Dmitri Boulytchev lo fundase en 2012, el laboratorio ha estado llevando a cabo investigaciones científicas en el área de la teoría del lenguaje de programación, centrándose 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
• Congresos anuales.

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 los estudiantes participen en proyectos de investigación y les permite 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 sobre 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 de los temas de investigación disponibles para seguir.