Christine Rizkallah

Lecturer
(equiv. to Assistant Professor in the US)

School of Computer Science and Engineering
University of New South Wales

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




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 involves using programming language and verified compilation techniques to reduce the effort required for producing efficient secure verified systems.

News

Education and Employment

Current Postdocs and Students

Postdocs

PhD Students

Honours Students

  • Declan Warn.
    Extending the Debugging Capabilities of the Cogent Compiler.
  • Simon Park.
    Interaction Trees in Isabelle/HOL.

Course-Work Master Students

Research Assistants and Interns

  • Austin Xie (Data61 intern)
  • Raphael Douglas Giles (UNSW Taste of Research intern)
  • Simon Park (part-time RA)
  • Zander Zhuang (Data61 intern)

Former Postdocs and Students

Postdocs

PhD Students

Honours Students

Course-Work Master Students

Research Assistants and Interns

  • Vincent Jackson (full-time RA till May 2021)
  • Louis Cheung (full-time RA till November 2020)
  • Nelson Chen (part-time RA till November 2020)
  • Gray Yao (UNSW Taste of Research intern till March 2020)
  • Emmet Murray (part-time RA till February 2020, now at Microsoft)
  • Zoey Chen (Data61 intern till February 2020)
  • Ryan Barry (part-time RA till October 2019, now full-time RA at Data61, CSIRO)
  • Gretchen Forbush (part-time RA till May 2019)
  • Matthew Di Meglio (part-time RA till November 2018)
  • Pang Luo (full-time RA till 2016)
  • Japheth Lim (full-time RA till 2016)
  • Yutaka Nagashima (full-time RA till 2016, now a PhD student at the Czech Technical University in Prague)

Teaching

Publications [ Google Scholar]

Journal Articles

Articles in Refereed Conference Proceedings

Articles in Refereed Workshop Proceedings

Theses

Refereed Online Journal (Formal Proofs)

Research Reports