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
Anton Podkopaev
Responsable del laboratorio/grupo de investigación
Daniil Berezun
Daniil Berezun
Responsable del laboratorio/grupo de investigación
Ekaterina Verbitskaia
Ekaterina Verbitskaia
Investigador
Ekaterina Shemetova
Ekaterina Shemetova
Investigador
Evgenii Moiseenko
Evgenii Moiseenko
Investigador
Dmitry Rozplokhas
Dmitry Rozplokhas
Estudiante
Egor Namakonov
Egor Namakonov
Estudiante