Researcher Next
Create account
← Back to directory

Tobias Nipkow

Researcher Next ID · RN-000377

Professor · Computer Science

Technical University of Munich

Munich, Germany

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
306
Citation count
11,714
H-index
45
i10-index
115

About

306 publications and 11,712 citations recorded on OpenAlex.

Research interests

Computer Science
Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Security and Verification in Computing
Algorithms and Data Compression

Publications

  • A FORMAL PROOF OF THE KEPLER CONJECTURE

    Forum of Mathematics Pi · 2017 · 10.1017/fmp.2017.1

  • A machine-checked model for a Java-like language, virtual machine, and compiler

    ACM Transactions on Programming Languages and Systems · 2006 · 10.1145/1146809.1146811

  • Isabelle/HOL: A Proof Assistant for Higher-Order Logic

    Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2002 · 10.1007/3-540-45949-9

  • Term Rewriting and All That

    Cambridge University Press eBooks · 1998 · 10.1017/cbo9781139172752

  • Isabelle: A Generic Theorem Prover

    Journal · 1994

Current projects

    No projects listed.