Martin Korp passed his final examination (October 22, 2010)

Today DI Martin Korp passed his rigorosum (cum laude) and will soon be officially honoured with his doctorate.

Martin has already left our group and will soon use his deep theoretic understanding in practical applications. We expect that our loss will be a gain for the reliability and efficiency of further industrial software :-)