I consider myself a mathematically inclined computer scientist (PhD) with a knack for communicating technical insight.
Currently I am employed with GSOC, west of Munich, evaluating and working on software in the ground segment, i.e., related to mission control.
I am particularly interested in the combinatorical and algorithmic aspects of software, functional programming and related research in compiler construction and type systems.
A collection of toy projects is currently on GitHub.
I solve problems. That's what I do, and I should write about it more often. Here's something practical: Hacking the Kärcher WD 3 P vacuum cleaner.
My interest in photography has led to a critique of Nikon's D750 with focus on usability.
I maintain a small collection of bouldering gyms for the occasional business trip or job interview passing their vicinity.
I keep links to some of my lecture materials for reference. Most of this material has evolved over a couple of years (i.e., has proven successful in many lectures).
Konzepte der Programmierung (de) — Introduction to programming concepts, with a strong focus on the functional paradigm (using Haskell). Together with Programmierkurs 2, this lecture forms a curricular module. (2015 and 2016; based on Declarative Programming)
Programmierkurs 2 (de) — Introduction to functional programming. Together with Konzepte der Programmierung, this lecture forms a curricular module. (annually 2011–2016)
Programming Course 3 — The C programming language, and Linux system programming. Reviews operating systems concepts from a practical perspective. (annually 2013–2015)
Key Competence in Computer Science — Introduction to fundamental tools in a Unix-like environment. (biannually 2013–2015)
Subversion in der Lehre (de) — Based on several years of teaching experience, I discuss the benefits and caveats of using the SCM software Subversion as a tool to manage lectures. (2016 talk)
Compiler Construction — Construction of a compiler following Turner's FPL SASL. (2010)
Declarative Programming — Introduction to functional programming with Haskell. (2006, 2009; precursor of Konzepte der Programmierung and Programmierkurs 2 )
Operating Systems — Fundamental concepts of operating systems: Scheduling, inter process communication, file systems, memory management, …. Also, an introduction to the C programming language. (2009; precurser of a curricular module which was split into Programming Course 3 and an Operating Systems lecture)
Stefan Klinger. Pathfinder—Full Text or Extending a Purely Relational XQuery Compiler with a Scoring Infrastructure for XQuery Full Text. PhD thesis, Department of Computer and Information Science, University of Konstanz, December 2010.
Djoerd Hiemstra, Stefan Klinger, Henning Rode, Jan Flokstra, Peter M. G. Apers. Sound ranking algorithms for XML search. Proceedings of the 2nd SIGIR workshop on focused retrieval, Singapore, July 24, 2008.
Stefan Klinger. The Haskell Programmer's Guide to the IO Monad — Don't Panic. Technical report, December 2005, no. 05-54, 33 pp., Centre for Telematics and Information Technology (CTIT), ISSN 1381-3625.
Torsten Grust, Stefan Klinger. Schema Validation and Type Annotation for Encoded Trees. Proceedings of the ACM SIGMOD/PODS 1st International Workshop on XQuery Implementation, Experience and Perspectives XIME-P. Paris, June 17-18, 2004.
Stefan Klinger. Streaming XML Schema Validation for Relational Tree Encodings. Diploma Thesis. Konstanzer Online Publikations System KOPS. April 2004.
You may contact me via e-mail
to: mail at stefan dash
klinger dot de. I prefer
receiving plain text messages, no HTML, not exceeding 32kB in
size.
All contents © by me. Last updated 2024-09-01.