Christine Rizkallah
Postdoctoral Researcher
Department of Computer and Information Science
University of Pennsylvania

e-mail: criz (at) seas.upenn.edu
office: 513 Levine Hall
profile: Google Scholar

Research Interests

  • Higher Order Logic
  • Interactive Theorem Proving
  • Formal Software Verification

Qualifications


Publications

Journal Articles

Articles in Refereed Conference Proceedings

Articles in Refereed Workshop Proceedings

Theses

Refereed Online Journal (Formal Proofs)

Research Reports


Teaching


Last modified: Thu Jan 16 2017