Christine Rizkallah
Scholar

Christine Rizkallah

Google Scholar ID: rTEeEsYAAAAJ
Senior Lecturer at the University of Melbourne
Interactive Theorem ProvingFormal VerificationType SystemsProgramming Languages
Citations & Impact
All-time
Citations
467
 
H-index
11
 
i10-index
15
 
Publications
20
 
Co-authors
31
list available
Contact
No contact links provided.
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