Philippa Gardner

Philippa Gardner

Professor of Theoretical Computer Science, Imperial College London
Email yang diverifikasi di imperial.ac.uk
Dirujuk 3700 kali
Program verification Language specification JavaScript and DOM Concurrency
Martin Bodin

Martin Bodin

Inria
Email yang diverifikasi di ens-lyon.org
Dirujuk 367 kali
Programming languages Language specification Program verification Coq
Parisa Ataei

Parisa Ataei

Postdoctoral researcher, Cornell University
Email yang diverifikasi di cornell.edu
Dirujuk 80 kali
Formal Methods Domain-Specific Languages Language Specification Type Systems Verified Compilers