Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
Verified email at in.tum.de
Cited by 19298
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
Verified email at unsw.edu.au
Cited by 7785
formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL
Viktor Vafeiadis

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org
Cited by 6368
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Michael Norrish

Michael Norrish

Australian National University
Verified email at anu.edu.au
Cited by 6100
Formal Methods Interactive Theorem Proving
Scott Owens

Scott Owens

University of Kent
Verified email at kent.ac.uk
Cited by 4498
Formal verification interactive theorem proving concurrency programming languages
Magnus Myreen

Magnus Myreen

Chalmers University of Technology
Verified email at cl.cam.ac.uk
Cited by 3710
Formal Verification Functional Programming Interactive Theorem Proving Computer Science
Christian Urban

Christian Urban

King's College London
Verified email at kcl.ac.uk
Cited by 3572
interactive theorem proving programming languages compilers formal methods proof theory
Georg Struth

Georg Struth

University of Sheffield
Verified email at sheffield.ac.uk
Cited by 2516
Algebraic and Logical Methods in Computer … Concurrency Theory Interactive Theorem Proving Program Correctness
Ramana Kumar

Ramana Kumar

DeepMind
Verified email at cl.cam.ac.uk
Cited by 1917
AI Safety Formal Verification Interactive Theorem Proving Functional Programming Computer Science
Lennart Beringer

Lennart Beringer

Princeton University
Verified email at cs.princeton.edu
Cited by 1730
Program verification Interactive theorem proving relational reasoning
1 - 10