Christine Rizkallah
Lecturer (equivalent to Assistant Professor in the US)
School of Computer Science and Engineering
University of New South Wales

This webpage is outdated. For my current webpage click here
e-mail: c (dot) rizkallah (at)
office: Room 510B, K17 Building
profile: Google Scholar

Research Interests

  • Higher Order Logic
  • Interactive Theorem Proving
  • Formal Software Verification



Journal Articles

Articles in Refereed Conference Proceedings

Articles in Refereed Workshop Proceedings


Refereed Online Journal (Formal Proofs)

Research Reports


Last modified: Sun May 20 2018