Tobias Nipkow (born 1958) is a German computer scientist.
Nipkow received his Diplom (MSc) in computer science from the Department of Computer Science of the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987.
He is known for his work in interactive and automatic theorem proving, in particular for the Isabelle proof assistant; he was the editor of the Journal of Automated Reasoning up to January 1, 2021.
[2] In 2021 he won the Herbrand Award "in recognition of his leadership in developing Isabelle and related tools, resulting in key contributions to the foundations, automation, and use of proof assistants in a wide range of applications, as well as his successful efforts in increasing the visibility of automated reasoning".
This biographical article relating to a computer scientist is a stub.