Home | deutsch | Impressum | Sitemap | Intranet | KIT
Workgroup on Number Theory and Algebraic Geometry

Kollegiengebäude Mathematik (20.30)
Room 1.027

Englerstraße 2, 76131 Karlsruhe

Office hours:
Mo - Fr, 9.15 - 11.45

Tel.: +49 721 608 43041

Fax.: +49 721 608 44244

Photo of Joachim Breitner Dipl.-Math. Dipl.-Inform. Joachim Breitner

Office hour for students:
Room: Allianz-Gebäude (05.20)
Email: breitner@kit.edu

You probably want to look somewhere else

I am no longer working at the Institut for Algebra and Geometry and moved to the Programming Paradigms Group. Since this page is no longer maintained, please have a look at my new homepage.

Semester Titel Typ
Winter Semester 2011/12


Within my work at the Institute for Algebra and Geometry I was interested in group theory, in particular the coset graphs of certain subgroups and their graphtheoretical properties.

Besides that I am interested in functional programming (e.g. Haskell) and the corresponding type theory, in formal verification and theorem proving (e.g. Isabelle) and Free Software in general. More about these topics can be found on my meinem Weblog.


  • Loop subgroups of F_r and the image of their stabilizer subgroups in GL_r(\mathbb Z), 13.12.2010, accepted for publication in the Israel Journal of Mathematics. Preprint (ArXiv.org)
  • Loop subgroups of F_r and the images of their stabilizer subgroups in GL_r(\mathbb Z), 2010, diploma thesis, Karlsruhe Institut of Technology. PDF file

Further publications outside of the academic peer review and talks are listed on my private publication page.