# 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.

**Secretariat**

Kollegiengebäude Mathematik (20.30)

Room 1.027

**Address**

Kaiserstraße 89-93

76133 Karlsruhe

**Office hours:**

Mo - Fr, 9.15 - 11.45

**Tel.:** +49 721 608 43041

**Fax.:** +49 721 608 44244

Dipl.-Math. Dipl.-Inform. Joachim Breitner | ||

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

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 | Graph Theory | |

Seminar (Geometrische Gruppentheorie) | Seminar |

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 and the image of their stabilizer subgroups in , 13.12.2010, accepted for publication in the Israel Journal of Mathematics. Preprint (ArXiv.org)
- Loop subgroups of and the images of their stabilizer subgroups in , 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.