births Living people People from Odense Technical University of Denmark alumni Danish computer scientists IBM employees Academic staff of the Technical University of Denmark Academic staff of United Nations University Formal methods people Computer science writers Knights of the Order of the Dannebrog Fellow Members of the IEEE Fellows of the Association for Computing Machinery Members of Academia Europaea