Wolfgang Polak

E265229

Wolfgang Polak is a computer scientist known for his work in formal methods and as a doctoral advisor to prominent researchers such as Tobias Nipkow.

All labels observed (1)

Label Occurrences
Wolfgang Polak canonical 1

How this entity was disambiguated

Statements (7)

Predicate Object
instanceOf computer scientist ⓘ
person ⓘ
doctoralAdvisorOf Tobias Nipkow ⓘ
fieldOfWork computer science ⓘ
formal methods ⓘ
notableFor work in formal methods ⓘ
occupation computer scientist ⓘ

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Tobias Nipkow → doctoralAdvisor → Wolfgang Polak ⓘ