Dr Christian Rinderknecht

Compiler Engineer, Expert in Formal Methods

I am an expert in Domain Specific Languages and formal methods, in particular compiler construction and functional programming, with extensive international work experience (France, Korea, Hungary, Sweden), both in academia and industry, with a proven track record of peer-reviewed publications.

I have a keen interest in communicating my knowledge and you are welcome to download my publications. In particular, I am the author of the book Design and Analysis of Purely Functional Programs​ (College Publications, United Kingdom, third edition, 2012, 650 pages).

I enjoy mathematics and literature, and I am the translator of Pablo Neruda's Veinte poemas de amor y una canción desperada in French: Vingt poèmes d'amours et une chanson désespérée, 1998, Gallimard, France. I also edited and translated a short anthology of poems by Paul Valery, Las granadas (Ediciones Rilke, Madrid, 2016). Besides, I contributed Buddhist vocabulary to Huet's Sanskrit Heritage (French-Sanskrit dictionary, 1998).

You can learn more about my professional career by consulting my LinkedIn profile.

You may consult

• a curriculum vitae for academic and corporate readers;
• my publications, including my book on functional programming;
• some free software;
• some teaching materials.

Honours

• I received a cheque from Knuth for finding an error in his Volume 4 of The Art of Computer Programming;
• One of my mathematical papers, in collaboration with Nachum Dershowitz, is the first source (2015) for an entry in the On-line Encyclopedia of Integer Sequences.

Miscellanea

• A BibTeX bibliography on the teaching and learning of recursive programming (see my survey);
• my favorite poem (glad you asked);
• I am the translator of Veinte poemas de amor y una canción desesperada (Pablo Neruda, 1924) into French (Éditions Gallimard, France, 1998). I also translated the second edition of my book into French.