Tobias Nipkow
E46732
Tobias Nipkow is a German computer scientist known for his influential work in interactive theorem proving and formal verification, particularly through his contributions to the Isabelle proof assistant.
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
German person
ⓘ
academic ⓘ computer scientist ⓘ person ⓘ |
| affiliation |
TUM School of Computation, Information and Technology
ⓘ
surface form:
Department of Informatics, Technical University of Munich
|
| contributedTo |
design of the Isabelle proof assistant
ⓘ
development of Isabelle/HOL ⓘ |
| countryOfCitizenship | Germany ⓘ |
| doctoralAdvisor | Wolfgang Polak ⓘ |
| educatedAt |
Technical University of Darmstadt
ⓘ
surface form:
Technische Universität Darmstadt
University of Manchester ⓘ
surface form:
University of Manchester Institute of Science and Technology
|
| employer | Technical University of Munich ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ formal verification ⓘ interactive theorem proving ⓘ programming languages ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
logic in computer science
ⓘ
theoretical computer science ⓘ |
| hasAcademicTitle | Dr.-Ing. ⓘ |
| hasPublishedIn |
Information and Computation
ⓘ
Journal of Automated Reasoning ⓘ Theoretical Computer Science ⓘ |
| hasRole |
author
ⓘ
lecturer ⓘ researcher ⓘ |
| knownFor |
Isabelle proof assistant
ⓘ
formal verification ⓘ interactive theorem proving ⓘ term rewriting ⓘ types and programming languages ⓘ |
| languageOfWorkOrName |
English
ⓘ
German ⓘ |
| memberOf | Leibniz-Rechenzentrum / TUM computer science community ⓘ |
| notableStudent |
Gerwin Klein
ⓘ
Markus Wenzel ⓘ |
| notableWork |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
ⓘ
surface form:
Isabelle/HOL tutorial and reference manuals
Isabelle/HOL: A Proof Assistant for Higher-Order Logic ⓘ Types and Programming Languages (research contributions) ⓘ |
| occupation | university professor ⓘ |
| positionHeld | professor ⓘ |
| researchInterest |
automated reasoning
ⓘ
semantics of programming languages ⓘ verification of software systems ⓘ |
| workplace | Technical University of Munich ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.