Regular biography
Dr Christine Rizkallah is a Senior Lecturer in Software Engineering at The University of Melbourne, Department of CS. Her contact details include an email address of christine.rizkallah@unimelb.edu.au and a profile page accessible at https://findanexpert.unimelb.edu.au/profile/919951. Specific research areas and existing biographical information are not provided in the available data.
Scholar-generated biography
Christine Rizkallah is a Senior Lecturer at the University of Melbourne, specializing in Interactive Theorem Proving, Formal Verification, Type Systems, and Programming Languages. Her research focuses on developing tools and frameworks for verifying high-assurance software systems, including file systems, Haskell code, and concurrent programs. She has contributed to projects such as Cogent, which integrates uniqueness types and certifying compilation, and has explored the verification of certifying computations through AutoCorres and Simpl. Her work emphasizes the application of formal methods to real-world programming languages and systems, aiming to enhance correctness and reliability in software development.