연구실 목록
Viktor Kuncak 교수 연구 프로필
로잔 연방공과대학교 · 컴퓨터통신과학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
이 교수 연구 프로필은 아직 상세 정보를 준비 중이에요
지금까지 확인된 정보예요. 곧 더 자세한 소개가 채워질 거예요.
- 학과
- 컴퓨터통신과학부
- 교수 소개
- Viktor Kuncak
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Ralf Jung 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · 8월 17일Jules Jacobs 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Type-Directed Discretization of Probabilistic ProgramsProceedings of the ACM on Programming Languages · 10월 1일Michalis Kokologiannakis 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
A Formal Account of the Wasm 3.0 Concurrency ModelProceedings of the ACM on Programming Languages · 10월 1일
같은 학과의 다른 연구실
- Alessandro Chiesa 교수 연구실
- Amir Zamir 교수 연구실
- Anastasia Ailamaki 교수 연구실
- Anne-Marie Kermarrec 교수 연구실
- Antoine Bosselut 교수 연구실
- Babak Falsafi 교수 연구실