프로그래밍 언어
and Tools 연구소

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

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

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

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

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

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

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

프로젝트

진행 중

Daniil Berezun

Patching OCaml and ML-like languages

이 프로젝트는 ML 유사 언어에 새로운 기능을 도입하고 다형성 변형, 활성 패턴 및 모듈과 같은 임시 또는 잘못 설계된 언어 기능을 수정하는 패치를 만드는 데 목표를 두고 있습니다.

Daniil Berezun

Metacomputations

이 프로젝트는 부분 평가, 슈퍼컴파일, 증류와 같은 메타 계산 기술을 연구하고 실제 적용하는 데 목표를 두고 있습니다.

미진행

Daniil Berezun

Semi-local Algorithms

이 프로젝트의 목표는 준로컬 LCS 및 SA 알고리즘을 개발하고 실제 적용하는 것입니다.

세미나

연구소 세미나가 매주 열리며 모두에게 개방됩니다.세미나에서 프로그래밍 언어와 언어 도구의 이전 및 최근 연구 결과에 대해 논의합니다.

미팅 그룹에 가입하여 예정된 세션에 대한 정보를 받아보세요.

관리자, 대학원생 및 연구소의 모든 학생에게 세미나를 권장합니다.

공지 사항 자료실

계절 학교

여름/겨울 학교 프로그램의 기본 취지는 배움의 열정을 가진 학생, 대학원생 및 소프트웨어 개발자에게 세계적 수준의 저명한 연구자들을 만나볼 수 있는 기회를 주는 것입니다.각 학교에서 하나의 특정 주제를 연구하므로 참가자들은 집중 학습에 몰입하여 한 학기에 걸쳐 다룰 분량의 광범위한 과정을 단 5일 만에 완료할 수 있습니다.프로그래밍 언어, 컴파일러, 언어 도구 개발 분야에서 첨단 주제가 선정됩니다.

그룹 멤버

Anton Podkopaev
연구소 책임자
Daniil Berezun
그룹 책임자
Evgenii Moiseenko
연구원
Ekaterina Verbitskaia
연구원

과거 회원

Dmitry Boulytchev
Semyon Grigorev
Dmitry Mordvinov
Ekaterina Verbitskaia