Grupo de investigación
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.
Miembros del grupo

Anton Podkopaev
Responsable del laboratorio/grupo de investigación

Daniil Berezun
Responsable del laboratorio/grupo de investigación

Ekaterina Verbitskaia
Investigador

Ekaterina Shemetova
Investigador

Evgenii Moiseenko
Investigador

Dmitry Rozplokhas
Estudiante

Egor Namakonov
Estudiante