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
Allianz-Gebäude (05.20)
Room 4A21.1
Address
Kaiserstraße 89-93
76133 Karlsruhe
Office hours:
Mo - Fr, 9.15 - 11.45
Tel.: ++49 721 608 4 3041
Fax.: ++49 721 608 4 4244
![]() |
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 | |
| Winter Semester 2010/11 | Seminar(Zahlentheorie,Funktionentheorie) | 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.
Further publications outside of the academic peer review and talks are listed on my private publication page.