연구 그룹

프로그래밍 언어 및 도구 연구소

이 실험실은 2012년 Dmitri Boulytchev에 의해 설립된 이래, 프로그래밍 언어 이론 분야에서 다음과 같은 주제를 중심으로 과학 연구를 수행해 왔습니다.

  • 관계 및 논리 프로그래밍
  • 약한 메모리 모델 및 동시성
  • 메타 프로그래밍, 메타 계산 및 부분 평가
  • 프로그래밍 언어 의미 체계 및 유형
  • 인증된 프로그래밍 및 기계화된 증명
  • 함수형 프로그래밍
  • 연간 회의록

실험실에서 초점을 두는 또 다른 중요한 분야는 교육입니다. 학부생과 졸업생 모두에게 개방된 이 실험실은 학생들이 연구 프로젝트 및 관련 박사 학위 프로그램에 참여할 수 있는 기회를 제공합니다. 또한 실험실 구성원은 다음과 같은 주제에 관한 과정을 설계, 강의 및 지원해 왔습니다.

  • 컴파일러 엔지니어링
  • 메타 계산
  • 공식 언어
  • 프로그래밍 언어 의미 체계
  • Coq의 기계화 증명 엔지니어링 소개

또한 연구소에서 다음과 같은 활동을 수행합니다.

  • 프로그래밍 언어 이론 및 실습에 대한 주간 세미나.
  • 연구 관심 분야와 관련된 주제에 대한 무료 공개 과정.
  •  JetBrains 의 여름 인턴십—학생들이 회사에서 1-3개월 동안 일할 수 있는 기회를 제공합니다.
  • 연례 소규모 컨퍼런스. 이 행사에서 연구소 학생들은 학기 논문, 학사 및 석사 학위 논문, 여름 인턴십 결과를 발표합니다.
  • 참가자들이 연구 논문을 읽고, 분석하고, 작성하는 데 필요한 특정 기술을 개발하는 논문 읽기 및 쓰기 관련 세미나입니다.

연구소는 신입 연구원을 언제나 환영합니다. 그룹에 가입하는 가장 좋은 방법은 주간 세미나나 공개 과정에 참석한 다음, 사용 가능한 연구 주제 중 하나를 선택하여 진행하는 것입니다.

그룹 멤버

Anton Podkopaev
Anton Podkopaev
연구소/그룹 책임자
Daniil Berezun
Daniil Berezun
연구소/그룹 책임자
Ekaterina Verbitskaia
Ekaterina Verbitskaia
연구원
Ekaterina Shemetova
Ekaterina Shemetova
연구원
Evgenii Moiseenko
Evgenii Moiseenko
연구원
Dmitry Rozplokhas
Dmitry Rozplokhas
학생
Egor Namakonov
Egor Namakonov
학생