Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
E-mail confirmado em in.tum.de
Citado por 19621
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
E-mail confirmado em unsw.edu.au
Citado por 7931
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)
E-mail confirmado em mpi-sws.org
Citado por 6553
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Michael Norrish

Michael Norrish

Australian National University
E-mail confirmado em anu.edu.au
Citado por 6235
Formal Methods Interactive Theorem Proving
Scott Owens

Scott Owens

University of Kent
E-mail confirmado em kent.ac.uk
Citado por 4584
Formal verification interactive theorem proving concurrency programming languages
Magnus Myreen

Magnus Myreen

Chalmers University of Technology
E-mail confirmado em cl.cam.ac.uk
Citado por 3784
Formal Verification Functional Programming Interactive Theorem Proving Computer Science
Christian Urban

Christian Urban

King's College London
E-mail confirmado em kcl.ac.uk
Citado por 3666
interactive theorem proving programming languages compilers formal methods proof theory
Georg Struth

Georg Struth

University of Sheffield
E-mail confirmado em sheffield.ac.uk
Citado por 2579
Algebraic and Logical Methods in Computer … Concurrency Theory Interactive Theorem Proving Program Correctness
Ramana Kumar

Ramana Kumar

DeepMind
E-mail confirmado em cl.cam.ac.uk
Citado por 2005
AI Safety Formal Verification Interactive Theorem Proving Functional Programming Computer Science
Lennart Beringer

Lennart Beringer

E-mail confirmado em pm.me
Citado por 1770
Program verification Interactive theorem proving Relational reasoning
1 - 10