Profil

Ralph-Johan Back

Professor of Computer Science, Åbo Akademi

Email yang diverifikasi di abo.fi

Dirujuk 8984 kali

formal methods programming program semantics software engineering mathematics education

Antoine Miné

Sorbonne Université, LIP6, APR

Email yang diverifikasi di lip6.fr

Dirujuk 7620 kali

Program Verification Program Semantics Static Analysis Abstract Interpretation

Eric Goubault

Ecole Polytechnique

Email yang diverifikasi di cea.fr

Dirujuk 5106 kali

Program semantics Systems Modeling CPS … theory and Fault-Tolerant Distributed Systems Applied and Computation

Robert Cartwright

Professor of Computer Science, Rice University

Email yang diverifikasi di rice.edu

Dirujuk 3218 kali

Programming Languages Software Engineering Program Testing Language Design Program Semantics

Fabio Zanasi

Professor of Computer Science, University College London

Email yang diverifikasi di ucl.ac.uk

Dirujuk 1772 kali

Program Semantics Category Theory String Diagrams Machine Learning Probabilistic Computation

Dorel Lucanu

Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO

Email yang diverifikasi di info.uaic.ro

Dirujuk 1375 kali

Formal Methods Software Engineering Program Semantics Rewriting

Federico Olmedo

University of Chile

Email yang diverifikasi di dcc.uchile.cl

Dirujuk 1071 kali

Program Verification Probabilistic Programs Program Semantics

Niccolò Veltri

Researcher, Department of Software Science, Tallinn University of Technology

Email yang diverifikasi di cs.ioc.ee

Dirujuk 352 kali

type theory logic constructive mathematics program semantics proof theory

Paul Brunet

Université Paris-Est Créteil - ÉPISEN

Email yang diverifikasi di u-pec.fr

Dirujuk 279 kali

Automata theory Algebra Program semantics Logic

Thomas Powell

Senior Lecturer, University of Bath

Email yang diverifikasi di bath.ac.uk

Dirujuk 239 kali

proof theory computability theory program semantics

1 - 10