연구실 목록
George Candea 교수 연구 프로필
로잔 연방공과대학교 · 컴퓨터통신과학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
이 교수 연구 프로필은 아직 상세 정보를 준비 중이에요
지금까지 확인된 정보예요. 곧 더 자세한 소개가 채워질 거예요.
- 학과
- 컴퓨터통신과학부
- 교수 소개
- George Candea
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Formal Methods in Verification
David Basin 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Quantitative Verification of Infinite-State Networks프리프린트arXiv (Cornell University) · 10월 8일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일
같은 학과의 다른 연구실
- Alessandro Chiesa 교수 연구실
- Amir Zamir 교수 연구실
- Anastasia Ailamaki 교수 연구실
- Anne-Marie Kermarrec 교수 연구실
- Antoine Bosselut 교수 연구실
- Babak Falsafi 교수 연구실