NewsProjectsPublicationsContentAbout meLinksContactPhotosBlogHeisse-News

Publications

Mathematics

Since 2004 I studied mathematics at the University of Karlsruhe, which by now is known as the Karlsruhe Intitute of Technology. In 2010 I graduated as Diplommathematiker with my diploma thesis, which can be found here as well.

• Paper: Loop subgroups of F_r and the image of their stabilizer subgroups in GL_r(ℤ), Israel Journal of Mathematics, 21.12.2011, Issue 45, Pages 16-28
  DOI: 10.1007/s11856-011-0213-3 Preprint: arXiv:1012.2729
• Paper: Würfeln mit Wubbel, Eulenspiegel, Issue 45, Pages 16-28, 12.5.2011
  Online Article
• Paper: The General Triangle Is Unique, A formalization with Isabelle/HOL, The Archive of Formal Proofs, Issue April, 2011
  Journal entry
• Paper: Free-Groups, A formalization with Isabelle/HOL, The Archive of Formal Proofs, Issue June, 2010
  Journal entry
• Talk: Schleifenuntergruppen von F_r und die Bilder ihrer Stabilisatorgruppen in GL_r(ℤ), 11.3.2010, Studierendenkonferenz der Deutschen Mathematiker-Vereinigung, München
  Event Schedule
• Diploma thesis: Loop subgroups of F_r and the images of their stabilizer groups in GL_r(ℤ), 2010, Karlsruhe Institute of Technology
  PDF-File LaTeX-Source Blog entry
• Talk: Loop subgroups of F_r and the images of their stabilizer groups in GL_r(ℤ), 15.12.2009, Siebter Karlsruher Weihnachtsworkshop zur Geometrie und Zahlentheorie
  Event Schedule

Computer Science

Parallel to my mathematics studies I have been studying computer science.

• Paper: The Correctness of Launchbury's Natural Semantics for Lazy Evaluation, The Archive of Formal Proofs, Issue January, 2013
  Journal entry
• Talk: Haskell Bytes, Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms, 10.1.2013, Gastvortrag in der Vorlesung Fortgeschrittene Funktionale Programmierung von Jun.-Prof. Dr. Janis Voigtländer, Bonn
  PDF-File
• Talk: A Haskell Roadshow, 18.12.2012, The Karlsruhe Functional Programmers Meetup Group, Karlsruhe
  Event Schedule PDF-File PDF-File
• Talk: Haskell Bytes, Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms, 8.9.2012, MRMCD 12, Darmstadt
  Event Schedule PDF-File
• Talk: Agda – Mit starken Typen abhängen, Eine Demo der abhängig getypten Programmiersprache, 7.6.2012, Gulaschprogrammiernacht 12, Karlsruhe
  Event Schedule PDF-File
• Paper: Tackling the testing migration problem with SAT-Solvers, 13.4.2012
  Preprint: arXiv:1204.2974
• Talk: Eine nicht ganz faule Show, Performance in Haskell, 6.12.2011, Gastvortrag in der Vorlesung Fortgeschrittene Funktionale Programmierung von Jun.-Prof. Dr. Janis Voigtländer, Bonn
  PDF-File Blog entry
• Talk: Warum wir noch Mathematiker brauchen, Church und das Entscheidungsproblem, 24.6.2011, Gulaschprogrammiernacht 11, Karlsruhe
  Event Schedule PDF-File Video Stream
• Paper: Conditional Elimination through Code Duplication, 15.6.2011
  Preprint: arXiv:1106.3478
• Talk: Church’s undecidability result, 21.4.2011, Alan Turing Birth Centennial Talk, IIT Bombay, Mumbai
  PDF-File
• Paper: Shivers’ Control Flow Analysis, A formalization with Isabelle/HOL, The Archive of Formal Proofs, Issue November, 2010
  Journal entry
• Student research project: Control Flow in Functional Languages, Formally taming lambdas, 2010, Karlsruhe Institute of Technology
  PDF-File Blog entry

Computer technology

Not related to my academic work are a few articles that I published in Linux related magazines, as well as talks held.

• Talk: Haskell in Debian, 28.7.2011, DebConf 11, Banja Luka, Bosnien-Herzegovina
  Event Schedule PDF-File Video Stream
• Talk: A Haskell Roadshow, 11.2.2011, DebConf 11, GNUnify 2011, Pune, Indien
  PDF-File Blog entry
• Article: Telefonbuch von Unix, Benutzerkonten und der Name Service Switch, freeX, Issue 5, 2010, Pages 80-83
• Article: Wider den Wildwuchs, Technische Dokumentation mit Docbook und Zpub erstellen, Linux-Magazin, Issue 05, 2010
  Blog entry Online Article
• Talk: zpub: Ein Redaktionsprozess auf Basis von OpenSource-Software, 9.3.2010, tfk Technologietag 2010, München
  Event Schedule PDF-File
• Talk: Upstream-nahe Weiterentwicklung Freier Software, 3.3.2010, CeBIT Open Source Forum 2010, Hannover
  Event Schedule Video Stream
• Article: Fontástico, Fuentes de símbolos caseras con FontForge, Linux Magazine, Issue 62, 2010, Pages 71-73
  Online Article
• Article: The Light Fontastic, Do-it-yourself symbol fonts with FontForge, Linux Magazine, Issue 113, 2010
• Article: Schrift-Schmiede, Symbolschriften mit Fontforge selbst gemacht, Linux-Magazin, Issue 03, 2010
  Online Article Blog entry
• Talk: Freie Werkzeuge für die technische Dokumentation, 14.2.2010, 3. Anwenderkreis Open Source im Maschinenbau, Stuttgart
  Event Schedule PDF-File
• Article: Windows-Installation mit apt-get, freeX, Issue 1, 2010, Pages 32-35
  Blog entry
• Talk: Distributing virtually boxed applications, .vdi to .deb, 28.7.2009, DebConf 9, Cáceres
  PDF-File Event Schedule
• Article: Un Pez Llamado Phishing, Para los Ataques de Autentición Multiplataformas, Linux Magazine, Issue 13, 2005, Pages 44-45
  Online Article
• Article: Strange Phishing, Stopping the cross-site authentication attack, Linux Magazine, Issue 40, 2005, Pages 42-43
  Online Article Blog entry
• Article: Verführerische Bildchen, Einfaches Passwort-Phishing durch eingebettete Bilder: Cross-Site-Authentication-Attacken, Linux-Magazin, Issue 10, 2005
  Online Article Blog entry

Miscellaneous

Other publications that do not fit in any of the categories above.

• Paper: Problem 4, Graph Theory Problem Poetry, Eulenspiegel, Issue 48, Page 4, 12.1.2013
  Online Article
• Article: IIT Bombay’s Affirmative Action, Raintree-Magazin, Issue 10-11, 2011, Page 8
  Online Article Blog entry