Martin Wirsing

URI: https://gptkb.org/entity/Martin_Wirsing

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Münster
gptkbp:awardReceived	gptkb:Order_of_Merit_of_the_Federal_Republic_of_Germany
gptkbp:birthYear	1948
gptkbp:doctoralAdvisor	Helmut Jürgensen
gptkbp:editor	gptkb:Theoretical_Computer_Science_(journal)
gptkbp:field	computer science
http://www.w3.org/2000/01/rdf-schema#label	Martin Wirsing
gptkbp:knownFor	formal methods software engineering
gptkbp:memberOf	gptkb:Academia_Europaea
gptkbp:nationality	gptkb:German
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	gptkb:professor
gptkbp:workInstitution	gptkb:Ludwig_Maximilian_University_of_Munich
gptkbp:bfsParent	gptkb:Manfred_Broy
gptkbp:bfsLayer	8