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
  • Heterogenuous Parallel Computing, FPGAs
  • Foundations of IT Security

Favorite Programming Languages

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

Personal Interests

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

GuitarScales HD

The iOS app »GuitarScales HD« is an app for guitarists that shows many different guitar scales with arbitrary base notes on the guitar neck. It displays the scale as positions on the neck, the names of the respective notes and highlights the base notes to ease learning of a new scale/base.

You can also define your tuning, for instance show the scale in Drop D or an open tuning. It also allows you to define your own custom scale, just by tapping in the notes on the neck.

The free version of the app contains iAds but a cheap iAds-free version is also available.

Features

  • Universal App for iPad & iPhone/iPod touch using full iPad & iPhone 5 screen!
  • easy to use interface that allows zooming in and out of any position on the neck
  • supports many scales including major, minor, pentatonic scales (major, minor, blues) and church modes
  • allows to define a completely custom scale, which may also be transposed!
  • support for different tunings, including open tunings
  • FREE version with iAds!

Download

Free version (iAds)

Full version (no iAds)

Screenshots

iPhone

Screenshot 1 Screenshot 2 Screenshot 3 Screenshot 4
 
Screenshot 5 Screenshot 6 Screenshot 7 Screenshot 8

iPad

Screenshot 1 Screenshot 2 Screenshot 3 Screenshot 4
 
Screenshot 5 Screenshot 6 Screenshot 7 Screenshot 8

News

Version 3.0 is out!

  • completely redesigned user interface!
  • iOS 7 look
  • smooth animations and bling-bling! ;-)
  • two minimalist color themes: white / black

Version 2.12 is out!

  • support for iOS 6, iPhone 5 and iPad Mini!

SudokuSolver

Stuck on a tough Sudoku? Ever been unable to solve a Sudoku, or been wondering whether there is a solution at all? Or maybe always wanted to impress buddies or coworkers by solving an almost impossible Sudoku?

Here's your solution! SudokuSolver will solve any solvable Sudoku within seconds. If you want to solve it yourself, you can also get hints!

The basic idea for this app was to solve Sudoku using a general first-order logic solver and see if it works on the iPhone. The latest version of this app is now free, thanks to iAds.

Features

  • solves Sudokus of any difficulty
  • fast input method: dial-in the numbers
  • multi-level hint system: show valid values at empty fields, highlight fields with only one or no possible value, show correctness of each guess
  • iPhone 5, iPad, iPad Mini support
  • FREE version with iAds!

Download

Screenshots

iPhone

Screenshot 1 Screenshot 2 Screenshot 3 Screenshot 4 Screenshot 5

iPad

Screenshot 1 Screenshot 2 Screenshot 3 Screenshot 4 Screenshot 5

News

Version 2.3

  • new version for iOS 7!
  • support for 64bit!
  • improved user interface
  • game is saved automatically
  • several minor improvements & bugfixes

Version 2.2 is out!

  • new feature: get a new sudoku challenge by shaking!
  • generates random sudokus (casual difficulty)
  • improvement: app now asks before erasing your solution (restart button)
  • minor improvements & clarifications in localization

Version 2.1 is out!

  • bugfix: fixed a stupid bug in the field hints

Version 2.0 is out!

  • iPhone 5 support
  • Now UNIVERSAL - iPad & iPad Mini are now supported
  • Completely re-designed UI
  • New hint system: You can now activate different hint levels to get help with the Sudoku, without getting the full solution immediately.

Game of Life

Conway's classic game of life is a simple zero player game, which simulates life by four simple rules:

  1. Any dead cell surrounded by exactly three live cells will become alive.
  2. Any live cell surrounded by less than two live cells will die due to isolation.
  3. Any live cell surrounded by more than three live cells will die due to overcrowding.
  4. Any live cell surrounded by two or three live cells will stay alive.

The game has inspired computer scientists and philosophers alike for many years now, especially since its simple rules still allow turing-equivalent computations.

But even if you're neither nor, watching the complex patterns which emerge from simple configurations is intriguing.

Features

  • Conway's game of life on iOS (see Wikipedia)
  • simple to use, intuitive interface
  • arbitrary field size
  • Universal app for iPad coming soon as a free update!
  • FREE version with iAds available!

Download

Free version (iAds)

Full version (no iAds)

Screenshots

Screenshot 2 Screenshot 3 Screenshot 4 Screenshot 5