연구
프로그래밍 언어
and Tools 연구소
이 연구소는 2012년 Dmitri Boulytchev에 의해 설립된 이래, 프로그래밍 언어 이론 분야에서 다음과 같은 주제를 중심으로 과학 연구를 수행해 왔습니다.
- 관계 및 논리 프로그래밍
- 약한 메모리 모델 및 동시성
- 메타 프로그래밍, 메타 계산 및 부분 평가
- 프로그래밍 언어 의미 체계 및 유형
- 인증된 프로그래밍 및 기계화된 증명
- 함수형 프로그래밍
- 공식 언어 이론
연구소에서 중점을 두는 또 다른 중요한 분야는 교육입니다. 학부생과 졸업생 모두에게 개방된 이 연구소는 학생들이 연구 프로젝트 및 관련 박사 학위 프로그램에 참여할 수 있는기회를 제공합니다. 또한 연구소 구성원들은 다음과 같은 주제에 관한 과정을 설계, 강의 및 지원해 왔습니다.
- 컴파일러 엔지니어링
- 메타 계산
- 공식 언어
- 프로그래밍 언어 의미 체계
- Coq의 기계화 증명 엔지니어링 소개
또한 연구소에서 다음과 같은 활동을 수행합니다.
- 프로그래밍 언어 이론 및 실습에 대한 주간 세미나
- 연구 관심 분야와 관련된 주제에 대한 무료 공개 과정
- JetBrains의 여름 인턴십 학생들이 회사에서 1-3개월 동안 일할 수 있는 기회를 제공합니다.
- 연례 소규모 컨퍼런스이 행사에서 연구소 학생들은 학기 논문, 학사 및 석사 학위 논문, 여름 인턴십 결과를 발표합니다.
- 참가자들이 연구 논문을 읽고, 분석하고, 작성하는 데 필요한 특정 기술을 개발하는 논문 읽기 및 쓰기 관련 세미나입니다.
연구소는 신입 연구원을 언제나 환영합니다. 그룹에 가입하는 가장 좋은 방법은 주간 세미나나 공개 과정에 참석한 다음, 사용 가능한 연구 주제 중 하나를 선택하여 진행하는 것입니다.
프로젝트
진행 중
Patching OCaml and ML-like languages
이 프로젝트는 ML 유사 언어에 새로운 기능을 도입하고 다형성 변형, 활성 패턴 및 모듈과 같은 임시 또는 잘못 설계된 언어 기능을 수정하는 패치를 만드는 데 목표를 두고 있습니다.
Metacomputations
이 프로젝트는 부분 평가, 슈퍼컴파일, 증류와 같은 메타 계산 기술을 연구하고 실제 적용하는 데 목표를 두고 있습니다.
미진행
Semi-local Algorithms
이 프로젝트의 목표는 준로컬 LCS 및 SA 알고리즘을 개발하고 실제 적용하는 것입니다.
간행물
계절 학교
여름/겨울 학교 프로그램의 기본 취지는 배움의 열정을 가진 학생, 대학원생 및 소프트웨어 개발자에게 세계적 수준의 저명한 연구자들을 만나볼 수 있는 기회를 주는 것입니다.각 학교에서 하나의 특정 주제를 연구하므로 참가자들은 집중 학습에 몰입하여 한 학기에 걸쳐 다룰 분량의 광범위한 과정을 단 5일 만에 완료할 수 있습니다.프로그래밍 언어, 컴파일러, 언어 도구 개발 분야에서 첨단 주제가 선정됩니다.