Christine Rizkallah

Lecturer at UNSW Sydney with a focus on Programming Languages and Verification.