1982 …2023

Research activity per year

Personal profile

Scientific Career

Prof. Nipkow (*1958) works in the area of logic in computer science. He focuses on interactive and automatic theorem proving, programming language sematics, type systems and functional programming. His chair is developing the interactive proof assistant Isabelle.

Prof. Nipkow received his Diplom (MSc) in Informatik from the Technische Hochschule Darmstadt in 1982 and his PhD from the University of Manchester in 1987. Having held research positions at MIT (1987-1989) and Cambridge University (1989-1992), he was appointed Professor for the Theory of Programming at TUM in 1992. Since 2011 he has held the chair of Logic and Verification at TUM.


Dive into the research topics where Tobias Nipkow is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or