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