Saarland University
Informatics
Programming Systems
Christine Rizkallah

 

Christine Rizkallah

I was an IMPRS Master student at Saarland University. I did my Master Thesis on the topic
Proof Representations for Higher Order Logic under the supervision of Chad E. Brown at the
Programming Systems Lab.

Now I am doing my PhD studies at the Algorithms and Complexity Group at MPI.

For viewing my current website click here.

Master Seminar

First Talk

I gave two introductory talks concerning my thesis. One at Max-Planck Institute für Informatik on
Monday, 12.01.2009. The other in the Programming Systems group on Friday, 16.01.2009.

For viewing the abstract of the talks, click here.

Proposal Talk

I gave the proposal talk in the Programming Systems group on Friday, 17.04.2009.

For viewing the abstract of the proposal talk, click here.

Final Talk

I gave the final talk in the Programming Systems group on Friday, 18.12.2009.

For viewing the abstract of the final talk, click here.

Master Thesis

I submitted my thesis on 05.12.2009.

Contact

• E-Mail: [firstname]@ps.uni-sb.de