Grupo de pesquisa

Laboratório de Linguagens e Ferramentas de Programação

Since its foundation in 2012 by Dmitri Boulytchev, the laboratory has been carrying out scientific research in the area of programming language theory, with the main focus on the following topics:

  • Relational and logic programming
  • Weak memory models and concurrency
  • Metaprogramação, metacálculos e avaliação parcial
  • Semântica e tipos de linguagens de programação
  • Programação certificada e provas mecanizadas
  • Programação funcional
  • Processos anuais.

The other important focus of the laboratory is education. The laboratory, which is open to both undergraduates and graduate students, gets students involved in research projects and provides an opportunity to join related PhD programs. Also, the laboratory members have been designing, lecturing, and assisting courses on the following themes:

  • Engenharia de compilers
  • Metacomputações
  • Linguagens formais
  • Semântica de linguagens de programação
  • Introdução à engenharia de prova mecanizadaem Coq

Além disso, o laboratório realiza as seguintes atividades:

  • Um seminário semanal sobre teoria e prática da linguagem de programação.
  • Cursos gratuitos abertos sobre temas relevantes para os interesses de pesquisa do laboratório.
  • Estágios de verão na JetBrains — oferecem uma oportunidade para os alunos trabalharem na empresa por um período de 1 a 3 meses.
  • Uma miniconferência anual. Neste evento, os alunos do laboratório apresentam os resultados de seus trabalhos de fim de semestre, teses de graduação e mestrado e estágios de verão.
  • Um seminário sobre leitura e composição de teses, em que os participantes desenvolvem habilidades específicas necessárias para ler, analisar e escrever artigos de pesquisa.

Novos membros são sempre bem-vindos ao laboratório. A melhor maneira de se juntar ao grupo é participar do nosso seminário semanal ou nossos cursos abertos e, em seguida, escolher um dos tópicos de pesquisa disponíveis para seguir.

Membros do Grupo

Anton Podkopaev
Anton Podkopaev
Chefe de Laboratório/Grupo de Pesquisa
Daniil Berezun
Daniil Berezun
Chefe de Laboratório/Grupo de Pesquisa
Ekaterina Verbitskaia
Ekaterina Verbitskaia
Pesquisador
Ekaterina Shemetova
Ekaterina Shemetova
Pesquisador
Evgenii Moiseenko
Evgenii Moiseenko
Pesquisador
Dmitry Rozplokhas
Dmitry Rozplokhas
Estudante
Egor Namakonov
Egor Namakonov
Estudante