Christine Rizkallah

christine
Lecturer
Computer Science & Engineering
Contact details:
Location:

Office: Ainsworth K17 Building, Room 510B
Data61 Office: Ainsworth K17, 3rd Floor
Address: K17 Barker Street,
Kensington, NSW 2033,
Australia

Dr Christine Rizkallah is a Lecturer with the School of Computer Science and Engineering. Her research interests include:

  • Formal methods: software verification, interactive theorem proving (Coq and Isabelle/HOL), higher-order logic, proof theory
  • Programming languages: formalizing languages, certifying and verified compilers, type theory, equational theories
  • Security: information-flow control

Webpage: http://www.cse.unsw.edu.au/~crizkallah/