Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
E-mail confirmado em cl.cam.ac.uk
Citado por 8003
type theory category theory nominal techniques programming language semantics logic in computer
Thomas Sewell

Thomas Sewell

Senior Research Associate, Cambridge University
E-mail confirmado em cam.ac.uk
Citado por 4441
software verification theorem proving programming language semantics
James Andrews

James Andrews

Google, Inc.
E-mail confirmado em google.com
Citado por 3888
Programming language semantics Software testing Software engineering
Florence Maraninchi

Florence Maraninchi

Professor, Grenoble INP / Ensimag & Verimag Lab
E-mail confirmado em imag.fr
Citado por 2903
embedded systems synchronous languages programming language semantics hardware/software interface modeling and simulation
Adrian Francalanza

Adrian Francalanza

University of Malta
E-mail confirmado em um.edu.mt
Citado por 2573
Static and Runtime Verification Concurrency Programming Language Semantics
Aleš Bizjak

Aleš Bizjak

Formerly postdoctoral researcher, Aarhus University, currently software architect at …
E-mail confirmado em alesb.com
Citado por 1224
programming language semantics program logics concurrency topology type theory
David Sabel

David Sabel

Professor Hochschule RheinMain
E-mail confirmado em hs-rm.de
Citado por 665
Programming Language Semantics Functional Programming Automated Deduction Rewriting Artificial
Max S. New

Max S. New

Assistant Professor, University of Michigan
E-mail confirmado em umich.edu
Citado por 574
programming language semantics gradual typing type theory category theory
Jérémie Koenig

Jérémie Koenig

Postdoctoral Associate, Yale University
E-mail confirmado em yale.edu
Citado por 493
programming language semantics formal methods
Carsten Führmann

Carsten Führmann

Interflex Datensysteme GmbH
E-mail confirmado em allegion.com
Citado por 284
Programming language semantics category theory structural proof theory.
1 - 10