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
Contact
No contact links provided.
Publications
2 items
Uniqueness is Separation
2026
Cited
0
From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
2025
Cited
0
Resume (English only)
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
31 total
Liam O'Connor
The Australian National University and The University of Edinburgh
Toby Murray
School of Computing and Information Systems, University of Melbourne
Co-author 3
Co-author 4
Co-author 5
Thomas Sewell
Lecturer, University of New South Wales
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up