Groupe de recherche

Laboratoire de langages et d’outils de programmation

Depuis sa fondation en 2012 par Dmitri Boulytchev, le laboratoire mène des recherches scientifiques dans le domaine de la théorie des langages de programmation, en se concentrant principalement sur les sujets suivants :

  • Programmation relationnelle et logique
  • Modèles de mémoire faible et concurrence
  • Métaprogrammation, métacalculs et évaluation partielle
  • Sémantique et types des langages de programmation
  • Programmation certifiée et preuves mécanisées
  • Programmation fonctionnelle
  • Comptes rendus annuels.

L'autre axe important du laboratoire est l'éducation. Le laboratoire, qui est accessible aux étudiants de premier cycle et aux diplômés, permet aux élèves de participer à des projets de recherche et offre la possibilité de rejoindre des programmes de doctorat connexes. De plus, les membres du laboratoire ont élaboré, enseigné et assisté à des cours sur les thèmes suivants :

  • Ingénierie de compilation
  • Métacalculs
  • Langages formels
  • Sémantique des langages de programmation
  • Introduction à l'ingénierie de preuves mécanisées dans Coq

De plus, le laboratoire réalise les activités suivantes :

  • Un séminaire hebdomadaire sur la théorie et la pratique des langages de programmation.
  • Cours gratuits publics sur des sujets en rapport avec les intérêts de recherche du laboratoire.
  • Stages d’été chez JetBrains : ils offrent aux étudiants l’occasion de travailler dans l’entreprise pendant 1-3 mois.
  • Une mini-conférence annuelle. Lors de cet événement, les étudiants du laboratoire présentent les résultats de leurs travaux de fin d'études, de leurs thèses de licence et de master, et de leurs stages d'été.
  • Un séminaire sur la lecture et la rédaction de d'articles, où les participants développent les compétences spécifiques requises pour lire, analyser et rédiger des articles de recherche.

Les nouveaux membres sont toujours les bienvenus au laboratoire. La meilleure façon de rejoindre le groupe est d'assister à notre séminaire hebdomadaire ou à nos cours publics, puis de choisir l'un des sujets de recherche disponibles.

Membres du groupe

Anton Podkopaev
Anton Podkopaev
Chef de laboratoire/groupe de recherche
Daniil Berezun
Daniil Berezun
Chef de laboratoire/groupe de recherche
Ekaterina Verbitskaia
Ekaterina Verbitskaia
Chercheur
Ekaterina Shemetova
Ekaterina Shemetova
Chercheur
Evgenii Moiseenko
Evgenii Moiseenko
Chercheur
Dmitry Rozplokhas
Dmitry Rozplokhas
Étudiant
Egor Namakonov
Egor Namakonov
Étudiant