Sie sind hier nicht mehr ganz richtig
Ich bin inzwischen nicht nicht mehr am Institut für Algebra und Geometrie, sondern arbeite nun am Lehrstuhl für Programmierparadigmen. Da diese Seite nicht mehr gepflegt wird bitte ich Sie, auch meine aktuelle Mitarbeiterseite zu beachten.
Interessen
Im Rahmen meiner Arbeit am Institut für Algebra und Geometrie interessierte ich mich für Gruppentheorie, insbesondere für die Nebenklassengraphen gewisser Untergruppen und deren graphentheoretische Eigenschaften.
Ansonsten kann ich mich für funktionale Programmierung (z.B. Haskell) mit zugehöriger Typtheorie, für formale Verifikation und Theorembeweisprüfer (z.B. Isabelle) und allgemein Freie Software begeistern. Mehr zu diesen Themen findet sich regelmäßig auf meinem Weblog.
Publikationen
- Loop subgroups of
and the image of their stabilizer subgroups in
, 13.12.2010, Veröffentlicht im Israel Journal of Mathematics. DOI: 10.1007/s11856-011-0213-3, Preprint: ArXiv:1012.2729 - Loop subgroups of
and the images of their stabilizer subgroups in
, 2010, Diplomarbeit, Karlsruher Institut für Technologie. PDF-Datei
Weitere Publikationen außerhalb des wissenschaftlichen Peer-Review-Prozesses und Vorträge sind auf meiner privaten Publikationsseite aufgeführt.