Automation of Logic


Dr. Hamid Rahkooy

Max Planck Institute for Informatics

Saarland Informatics Campus

Building E1 4

66123 Saarbrücken
+49 681 9325-2917, fax -2999




I am a postdoc at the Max Planck Institute for Informatics. Before joining MPI, I was a postdoc at the Lorraine Research Laboratory in Computer Science and its Applications (LORIA), France, and prior to that I was a postdoc at the University of Waterloo, Canada. My PhD was at the Research Institute for Symbolic Computations, Austria, in 2015 and my undergradute studies was at the Sharif University of Technology, Iran.