![[Ich]](potrait.jpg)
Carsten Ihlemann
Max-Planck-Institut für Informatik (MPII)Programming Logics Group (RG1)
Stuhlsatzenhausweg 85
D-66123 Saarbrücken
Germany
Room: 613
Phone: +49 681 9325 213 (92 213 on campus)
E-mail: ihlemann@mpi-inf.mpg.de
Research
Interests
Local Extensions of Theories.Combinations of Theories.
Amalgamation and Interpolation.
Publications
Talks
Software
Degrees
- PhD in Computer Science (Dr. rer. nat.),
Saarland University, August 2010.
- Thesis: "Reasoning in Combinations of Theories" (Introduction).
- Diploma in Mathematics (Dipl.-Math.), Berlin University (FU), August 1999.
- Thesis: ``Komplementärpaare linearer Erweiterungen von Ordnungen''.
- Master in Computer Science (M.Sc.),
- Indiana University, December 2001.
- Master in Philosophy (M.Arts),
- Indiana University, August 1997.
Recent Positions
- Thesis: "Reasoning in Combinations of Theories" (Introduction).
- October 2003 - now:
- Ph.D. Student at the MPI
- May 2002--August 2003
- Software Developer at Wincor/Nixdorf
- August 1999 - December 12/2001
- PhD Student, Philosophy and Computer Science; Indiana University.
Max-Planck-Institut für Informatik
AG1-People | AG2-People | AG3-People | AG4-People | RG1-People | Library | Publications | Software | Activities
Document last changed on October 18, 2010 / ihlemann@mpi-inf.mpg.de - Ph.D. Student at the MPI