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) unsw.edu.au
office: Room 510B, K17 Building
profile: Google Scholar

Research Interests

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

Qualifications


Publications

Journal Articles

Articles in Refereed Conference Proceedings

Articles in Refereed Workshop Proceedings

Theses

Refereed Online Journal (Formal Proofs)

Research Reports


Teaching


Last modified: Sun May 20 2018