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
Weitere Publikationen außerhalb des wissenschaftlichen Peer-Review-Prozesses und Vorträge sind auf meiner privaten Publikationsseite aufgeführt.