Karrmann.de
Stefan Karrmann

Stefan Karrmann

Kontakt: S.Karrmann at web.de
Bitte senden Sie mir zum Erstkontakt GPG-verschlüsselte Briefe (mit Schlüssel wie veröffentlicht), da ich nur an mich verschlüsselte Post oder Post von mir bekannten Adressen akzeptiere, um unerwünschte Werbeschreiben zu vermeiden. Siehe dazu auch www.abuse.net und Spamcop oder mein (englischer) Kommentar zu diesem Thema.

Bitte, schicken Sie keine Dokumente in ständig wechselnde, firmenspezifischen Formaten, wie Microsoft Word u.ä, da ich diese nicht darstellen kann. Nutzen Sie stattdessen Postscript oder PDF. DVI, TeX, HTML ohne Java und Javascript oder reiner Text (ASCII oder Latin1 oder UTF-8) sind mir hingegen willkommen.

Interessen

• Mathematik. Siehe dazu meine universitäre Leitseite.
• Kryptographie. Ich habe ein kleines Programm sharesecret geschrieben. Es spaltet ein Geheimnis derart in n Teile auf, dass mindestens k Teile nötig sind, um das Geheimnis zu rekonstruieren. Dabei sind n, k (fast) beliebige Parameter.
• Turniertanzsport, d.h. Teilnahme an Wettkämpfen des DTV (Deutscher Tanzsportverband e.V.).
• Literatur. S.a.
• Funktionale Sprachen und Theoremprüfer. Dazu gehören Haskell, siehe www.haskell.org, Coq, vgl. pauillac.inria.fr/coq und Agda 2, vgl. Agda 2 Wiki.
• Betriebssysteme. Dazu gehören Linux, siehe www.linux.org, Hurd, vgl. http://hurd.gnufans.org/bin/view/Hurd/ als auch EROS, siehe www.eros-os.org u.v.a.
• Weltraumkolonisation und zwar im Orbit und nicht auf Monden oder Planeten, vgl. u.a.
  The Case for Space, Space Studies Institute.

Prüfung! Prüfung!