Lambda the Ultimate

Full name: Hannes Mehnert
Unemployed; got PhD in 2013 from IT University in Copenhagen, Denmark about incremental interactive verification of the correctness of object-oriented software. website