World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
55
Citations
19055
World Ranking
4199
National Ranking
183

Overview

Tobias Nipkow is affiliated with the Technical University of Munich in Germany. Their research predominantly falls within the field of Computer Science, with a focus on specialized subfields such as Artificial Intelligence, Computational Theory and Mathematics, Signal Processing, Computer Networks and Communications, and Computer Graphics and Computer-Aided Design.

The research work covers various main topics including Algorithms and Data Compression, Logic, Programming, and Type Systems, Data Management and Algorithms, Formal Methods in Verification, Advanced Database Systems and Queries, Artificial Intelligence in Games, and Logic, Reasoning, and Knowledge.

Tobias Nipkow has contributed to several publication venues, reflecting the breadth of their research interests. These venues include:

  • arXiv (Cornell University)
  • Journal of Automated Reasoning
  • Dagstuhl Research Online Publication Server
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • CL Technical Reports

Recent papers authored or co-authored by Nipkow include:

  • Isabelle tutorial and user's manual, 2021, CL Technical Reports
  • Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL, 2025, Dagstuhl Research Online Publication Server
  • Verified Analysis of Random Binary Tree Structures, 2020, Journal of Automated Reasoning
  • Proofgold: Blockchain for Formal Methods, 2022, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • A Formalization and Proof Checker for Isabelle's Metalogic, 2022, Journal of Automated Reasoning

Frequent co-authors of Tobias Nipkow include Simon Roßkopf, Robin Eßmann, Simon Robillard, Lawrence C. Paulson, and Manuel Eberl.

Best Publications

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

    Tobias Nipkow;Markus Wenzel;Lawrence C. Paulson

  • Isabelle: A Generic Theorem Prover

    Lawrence C. Paulson;Tobias Nipkow

  • Higher-order critical pairs

    T. Nipkow

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

    Gerwin Klein;Tobias Nipkow

  • Nitpick: a counterexample generator for higher-order logic based on a relational model finder

    Jasmin Christian Blanchette;Tobias Nipkow

  • FM 2006: Formal Methods

    Jayadev Misra;Tobias Nipkow;Emil Sekerinski

  • Code generation via higher-order rewrite systems

    Florian Haftmann;Tobias Nipkow

  • Concrete Semantics: With Isabelle/HOL

    Tobias Nipkow;Gerwin Klein

  • Javalight is type-safe—definitely

    Tobias Nipkow;David von Oheimb

  • Higher-order rewrite systems and their confluence

    Richard Mayr;Tobias Nipkow

  • The Isabelle Framework

    Makarius Wenzel;Lawrence C. Paulson;Tobias Nipkow

  • The Isabelle Reference Manual

    Lawrence C. Paulson;Tobias Nipkow;Markus Wenzel

  • Winskel is (almost) right : Towards a mechanized semantics textbook

    Tobias Nipkow

  • Executing Higher Order Logic

    Stefan Berghofer;Tobias Nipkow

  • Sledgehammer: judgement day

    Sascha Böhme;Tobias Nipkow

  • Machine-Checking the Java Specification: Proving Type-Safety

    David von Oheimb;Tobias Nipkow

  • Boolean unification - The story so far

    Urusula Martin;Tobias Nipkow

  • Verified bytecode verifiers

    Gerwin Klein;Tobias Nipkow

  • A Revision of the Proof of the Kepler Conjecture

    Thomas C. Hales;John Harrison;Sean Mclaughlin;Tobias Nipkow

  • Automatic proof and disproof in Isabelle/HOL

    Jasmin Christian Blanchette;Lukas Bulwahn;Tobias Nipkow

  • Random testing in Isabelle/HOL

    S. Berghofer;T. Nipkow

Frequent Co-Authors

Lawrence C. Paulson
Lawrence C. Paulson University of Cambridge
Franz Baader
Franz Baader TU Dresden
Reiner Hähnle
Reiner Hähnle Technical University of Darmstadt
Jürgen Giesl
Jürgen Giesl RWTH Aachen University
Kurt Mehlhorn
Kurt Mehlhorn Max Planck Institute for Informatics
John Harrison
John Harrison Intel (United States)
Jayadev Misra
Jayadev Misra The University of Texas at Austin
Javier Esparza
Javier Esparza Technical University of Munich
Matthias Althoff
Matthias Althoff Technical University of Munich
Orna Grumberg
Orna Grumberg Technion – Israel Institute of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degree options can open doors to flexible study and diverse career opportunities in Computer Science and related fields. For those concerned about the cost, several cheap online masters programs are available, which allow students to earn advanced credentials without breaking the bank.

For individuals seeking rapid entry into the workforce, a quickest associates degree in technology areas provides foundational skills and can lead to immediate job prospects or further study.

Ambitious students considering leadership roles in tech or academia may explore advanced online doctoral options. A best online doctorate in organizational leadership can equip graduates with high-level management and strategic planning skills. Similarly, those looking into educational leadership may benefit from pursuing an ed d degree, which focuses on leadership in educational settings.

With a range of online degrees to choose from—each offering distinct advantages—there’s a pathway for every learner interested in Computer Science and its countless career possibilities.

Best Scientists Citing Tobias Nipkow

Trending Scientists

Recently Published Articles