Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
Geverifieerd e-mailadres voor in.tum.de
Geciteerd door 19793
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
Geverifieerd e-mailadres voor unsw.edu.au
Geciteerd door 8048
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)
Geverifieerd e-mailadres voor mpi-sws.org
Geciteerd door 6745
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Michael Norrish

Michael Norrish

Australian National University
Geverifieerd e-mailadres voor anu.edu.au
Geciteerd door 6356
Formal Methods Interactive Theorem Proving
Scott Owens

Scott Owens

University of Kent
Geverifieerd e-mailadres voor kent.ac.uk
Geciteerd door 4676
Formal verification interactive theorem proving concurrency programming languages
Christian Urban

Christian Urban

King's College London
Geverifieerd e-mailadres voor kcl.ac.uk
Geciteerd door 4524
interactive theorem proving programming languages compilers formal methods proof theory
Magnus Myreen

Magnus Myreen

Chalmers University of Technology
Geverifieerd e-mailadres voor cl.cam.ac.uk
Geciteerd door 3861
Formal Verification Functional Programming Interactive Theorem Proving Computer Science
Georg Struth

Georg Struth

University of Sheffield
Geverifieerd e-mailadres voor sheffield.ac.uk
Geciteerd door 2612
Algebraic and Logical Methods in Computer … Concurrency Theory Interactive Theorem Proving Program Correctness
Ramana Kumar

Ramana Kumar

DeepMind
Geverifieerd e-mailadres voor cl.cam.ac.uk
Geciteerd door 2137
AI Safety Formal Verification Interactive Theorem Proving Functional Programming Computer Science
Yong Kiam Tan

Yong Kiam Tan

Institute for Infocomm Research, Singapore
Geverifieerd e-mailadres voor cs.cmu.edu
Geciteerd door 1813
Verification Hybrid Systems Interactive Theorem Proving
1 - 10