Lab directory
Prof. Christine Rizkallah — Research Profile
University of Melbourne · School of Computing and Information Systems
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
Prof. Christine Rizkallah at University of Melbourne School of Computing and Information Systems lists Software Engineering as their registered research area.
Research keywords
Software Engineering
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Nisansala Yatapanage 교수 연구실
Australian National University · School of Computing
The Complexity of Interference: When Rely/Guarantee Does Not WorkPreprintarXiv (Cornell University) · Sep 23Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Clark Barrett 교수 연구실
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanNewOAPEN (The OAPEN Foundation) · Sep 1
Other labs in this department
- Abel Armas Cervantes 교수 연구실
Information Systems
- Adelaide Genay 교수 연구실
Computer Graphics, Visualisation
- Adel N. Toosi 교수 연구실
- Adrian Pearce 교수 연구실
- Alistair Moffat 교수 연구실
- Artem Polyvyanyy 교수 연구실