Christine Rizkallah

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/