연구실 목록
Christine Rizkallah 교수 연구 프로필
멜버른 대학교 · 컴퓨터정보시스템학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
멜버른 대학교 컴퓨터정보시스템학부 소속 Christine Rizkallah 교수의 등록된 연구 분야는 Software Engineering입니다.
연구 키워드
Software Engineering
최근 논문
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 교수 연구실