Jens Korinth

About me

I am a software developer currently located in the city Frankfurt am Main, Germany. Since I finished my media computer science studies in 2007 I've been working for a software and consulting company here in Frankfurt.

A few semesters ago I decided that I want to improve and deepen my understanding of computer science, so I started part-time study of computer science and mathematical logic at the Technical University of Darmstadt, which I still enjoy today.

Scientific interests

  • Formal Methods in general
  • Finite Transition Systems, Process Semantics
  • Compiler Construction, Optimizing Compilers, Language Design
  • Foundations of IT Security

Favorite Programming Languages

  • Haskell (mostly due to the sheer beauty of the language design)
  • Scala (best of many worlds)
  • Objective-C, C#

Personal Interests

  • Music of all kinds and sorts, especially guitar-centered music
  • Running
  • Playing guitar


Your name (e.g. John Doe):
Your email (e.g.
Your message:
Thanks for your feedback!