A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 

max planck institut
informatik

Homepage

Willem Hagemann

Max-Planck-Institut für Informatik
DepResearch Group 1: Automation of Logic
Building E1.5, Room 634
Campus E1 4
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 9325 2913
Fax: +49 681 9325 999

---

---

Teaching

---

2010: Tutor of "Automated Reasoning SS11" (Exercises Sheets)

2010: Tutor of "Automated Reasoning SS10"

---

Employment

---

2005 - 2008: IT-Trainer, mbs GmbH Göttingen

---

Education

---

• April 2008 - present: Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik
• 2005: Diplom in Mathematics at Georg-August-Universität Göttingen, Germany
• 1993: Abitur at the Gymnasium, Goetheschule Einbeck

---

• Willem Hagemann:
• Employment
• Education