Luca Cardelli

Luca Cardelli

University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 33507 kali
Theory of programming languages Process algebra Systems Biology Molecular Programming
Chris Barker

Chris Barker

Professor of Linguistics, NYU
Email yang diverifikasi di nyu.edu
Dirujuk 5190 kali
Semantics of Natural Language Philosophy of Language Theory of Programming Languages
Jacques Garrigue

Jacques Garrigue

Professor, Graduate School of Mathematics, Nagoya University
Email yang diverifikasi di math.nagoya-u.ac.jp
Dirujuk 2048 kali
Theory of Programming Languages
Martin Steffen

Martin Steffen

University of Oslo
Email yang diverifikasi di ifi.uio.no
Dirujuk 1922 kali
formal methods theory of programming languages semantics verification
Damiano Mazza

Damiano Mazza

CNRS, LIPN, Université Sorbonne Paris Nord
Email yang diverifikasi di lipn.univ-paris13.fr
Dirujuk 873 kali
logic in computer science theory of programming languages
Marco Solieri

Marco Solieri

Minerva Systems & Università di Modena e Reggio Emilia
Email yang diverifikasi di xt3.it
Dirujuk 440 kali
Real-time Systems Embedded Systems Operating Systems Theory of Programming languages Logic in
Victor Arrial

Victor Arrial

Post-Doc, University of Bologna, Bologna, Italy
Email yang diverifikasi di irif.fr
Dirujuk 27 kali
Theory of Programming Languages Lambda-Calculus
Juliana Dochkova-Todorova

Juliana Dochkova-Todorova

St. Cyril and St. Methodius University of Veliko Turnovo, Bulgaria
Email yang diverifikasi di ts.uni-vt.bg
Dirujuk 20 kali
Theory of Programming Languages Web Design XML Semantic Web Discrete geometry