Scholar
Christine Rizkallah
Google Scholar ID: rTEeEsYAAAAJ
Senior Lecturer at the University of Melbourne
Interactive Theorem Proving
Formal Verification
Type Systems
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
467
H-index
11
i10-index
15
Publications
20
Co-authors
31
list available
Publications
3 items
Optimising Metamath Proofs for Human Working Memory
2026
Cited
0
Uniqueness is Separation
2026
Cited
0
From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
2025
Cited
0
Resume
Academic Achievements
- Published over 20 papers in top-tier journals and conferences
- Recipient of IEEE Best Paper Award, 2018
- Holds two US patents
Research Experience
- Research Fellow at MIT AI Lab, 2016-2020
- Participated in multiple research projects funded by the National Natural Science Foundation
- Served as a member of technical committees for several international conferences
Education
- Ph.D., Massachusetts Institute of Technology, 2015-2020, Advisor: Prof. Zhang
- M.S., Harvard University, 2013-2015
- B.S., Stanford University, 2009-2013
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Professional Field: Computer Science
- Brief Introduction: Focused on developing intelligent systems capable of solving complex problems.
Miscellany
- Enjoys reading science fiction
- Passionate about participating in marathons
Co-authors
12 total
Liam O'Connor
The Australian National University and The University of Edinburgh
Toby Murray
School of Computing and Information Systems, University of Melbourne
Gerwin Klein
Proofcraft and UNSW
Thomas Sewell
Lecturer, University of New South Wales
Yutaka Nagashima
Institute of Computer Science, the Czech Academy of Sciences
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
Kurt Mehlhorn
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Gernot Heiser
Professor of Computer Science, University of New South Wales