פרופילים

פרופילים

הפרופיל שלי הספרייה שלי

Tobias Nipkow

Professor of Computer Science, Technische Universität München

כתובת אימייל מאומתת בדומיין in.tum.de

צוטט על ידי 19946

Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics

Gerwin Klein

Proofcraft and UNSW

כתובת אימייל מאומתת בדומיין unsw.edu.au

צוטט על ידי 8162

formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)

כתובת אימייל מאומתת בדומיין mpi-sws.org

צוטט על ידי 6953

Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving

Michael Norrish

Australian National University

כתובת אימייל מאומתת בדומיין anu.edu.au

צוטט על ידי 6495

Formal Methods Interactive Theorem Proving

Scott Owens

University of Kent

כתובת אימייל מאומתת בדומיין kent.ac.uk

צוטט על ידי 4788

Formal verification interactive theorem proving concurrency programming languages

Christian Urban

King's College London

כתובת אימייל מאומתת בדומיין kcl.ac.uk

צוטט על ידי 4658

interactive theorem proving programming languages compilers formal methods proof theory

Magnus Myreen

Chalmers University of Technology

כתובת אימייל מאומתת בדומיין cl.cam.ac.uk

צוטט על ידי 3972

Formal Verification Functional Programming Interactive Theorem Proving Computer Science

Georg Struth

University of Sheffield

כתובת אימייל מאומתת בדומיין sheffield.ac.uk

צוטט על ידי 2657

Algebraic and Logical Methods in Computer … Concurrency Theory Interactive Theorem Proving Program Correctness

Ramana Kumar

DeepMind

כתובת אימייל מאומתת בדומיין cl.cam.ac.uk

צוטט על ידי 2373

AI Safety Formal Verification Interactive Theorem Proving Functional Programming Computer Science

Yong Kiam Tan

Institute for Infocomm Research, Singapore

כתובת אימייל מאומתת בדומיין cs.cmu.edu

צוטט על ידי 1858

Verification Hybrid Systems Interactive Theorem Proving

1 - 10