Christine Rizkallah

(equiv. to Assistant Professor in the US)

School of Computer Science and Engineering
University of New South Wales

Email: c (dot) rizkallah (at)
Office: Ainsworth K17 Building, Room 510B
Data61 Office: Ainsworth K17, 3rd Floor
Address: K17 Barker Street,
Kensington, NSW 2033,

My research ambition is to create techniques and tools that ease the use of interactive theorem provers for verifying code from various domains by focusing on one domain at a time. In particular, I am interested in developing domain-specific languages with sophisticated type-systems and with verified or certifying compilers to reduce the effort required for formally verifying code that fall in the respective domains. So far, most of my work focused on using interactive theorem proving to establish new results or to formalize and verify existing results from the following research areas: algorithms, programming languages, security, systems, logic, and social choice theory.

My current work focuses on using programming language and verified compilation techniques to reduce the effort required for producing efficient secure verified systems.


Education and Employment

Current Students and Postdocs

  • PhD student: Zilin Chen (jointly supervised with Gabriele Keller and Gernot Heiser)
  • PhD student: Liam O'Connor (jointly supervised with Gabriele Keller and Gernot Heiser)
  • Honours thesis student: Alexander Hodges
  • Honours thesis student and RA (part-time): Emmet Murray
  • Honours thesis student: Louis Cheung
  • Honours thesis student: Nathaniel Shead (jointly supervised with Abdallah Saffidine)
  • Honours thesis student: Sahan Fernando
  • Honours thesis student and RA: Vincent Jackson
  • Honours thesis student and RA (part-time): Vivian Dang
  • RA (part-time): Nelson Chen
  • RA (part-time): Ryan Barry
  • RA (part-time): Simon Park

Former Students and Postdocs

  • Amos Robinson (postdoc till June 2019)
  • Gretchen Forbush (part-time RA till May 2019)
  • Matthew Di Meglio (part-time RA till November 2018)
  • Pang Luo (RA till 2016)
  • Japheth Lim (RA till 2016, now an RA at Data61)
  • Yutaka Nagashima (RA till 2016, now a PhD student at the Czech Technical University in Prague)


Community Service

Publications [ Google Scholar]

Journal Articles

Articles in Refereed Conference Proceedings

Articles in Refereed Workshop Proceedings


Refereed Online Journal (Formal Proofs)

Research Reports