연구실 목록
Cezary Kaliszyk 교수 연구 프로필
멜버른 대학교 · 컴퓨터정보시스템학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
멜버른 대학교 컴퓨터정보시스템학부 소속 Cezary Kaliszyk 교수의 등록된 연구 분야는 Theoretical Computer Science입니다.
연구 키워드
Theoretical Computer Science
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Nisansala Yatapanage 교수 연구실
호주국립대학교 · 컴퓨터학부
The Complexity of Interference: When Rely/Guarantee Does Not Work프리프린트arXiv (Cornell University) · 9월 23일Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Hippogriff: a semantic approach to uniting core and modules프리프린트arXiv (Cornell University) · 8월 20일Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in Lean새 논문OAPEN (The OAPEN Foundation) · 9월 1일
같은 학과의 다른 연구실
- Abel Armas Cervantes 교수 연구실
Information Systems
- Adelaide Genay 교수 연구실
Computer Graphics, Visualisation
- Adel N. Toosi 교수 연구실
- Adrian Pearce 교수 연구실
- Alistair Moffat 교수 연구실
- Artem Polyvyanyy 교수 연구실