Welcome to the homepage of Martin Koerwien

Till September 2014, I have been a researcher mathematical logic. After my studies in Berlin, Bonn and Paris, I had postdoctoral appointments for 7 years in Chicago, Barcelona and Vienna. If you are curious, you can take a look at my academic Curriculum Vitae. Currently I am concentrating myself on computer programming.

Here are some of my scientific works:

My contact email address is