Program Logics Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Michael Winter
Brock University Canada
mathematical logic
program development
fundamentals of programming languages
semantics of programming languages
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
mathematical logic
programming language semantics
semantics of logic names
dependently typed logics
View Professor Profile
Professor
Professor Profile
Peter Stuckey
Monash University Australia
logic programming
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Eric Martin
University of New South Wales Australia
logic programming
logical paradigms
logical foundations
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
dynamic logics
modal logics
description logics
View Professor Profile
Professor
Professor Profile
Ningning Xie
University of Toronto Canada
logics
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
probabilistic logic
mathematical logic
algebraic logic
View Professor Profile
Professor
Professor Profile
Richard Statman
Carnegie Mellon University United States of America
mathematical logic
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
logic
programming languages
logical frameworks
View Professor Profile
Professor
Professor Profile
Jonni Virtema
University of Glasgow United Kingdom
logic in computer science
modal logics
logical foundations of neural networks
View Professor Profile
Professor
Professor Profile
Lars Birkedal
Aarhus University Denmark
program analysis
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Dexter Kozen
Cornell University Netherlands
logic
programming languages
logic algebra
View Professor Profile
Professor
Professor Profile
Olivier Danvy
Aarhus University Denmark
program analysis
programming languages semantics
functional programming
View Professor Profile
Professor
Professor Profile
Sarah Chasins
University of California, Berkeley United States of America
programming languages
programming systems
program synthesis
View Professor Profile
Professor
Professor Profile
Ravi Chugh
University of Chicago United States of America
program analysis
program synthesis
functional programming
View Professor Profile
Professor
Professor Profile
Jeremy Gibbons
University of Oxford United Kingdom
programming languages
programming methodology
functional programming
View Professor Profile
Professor
Professor Profile
Martin Odersky
École Polytechnique Fédérale de Lausanne Switzerland
programming languages
programming methods
functional programming
View Professor Profile
Professor
Professor Profile
Adithya Murali
University of Wisconsin–Madison United States of America
programming languages
program synthesis
data-driven logic learning
View Professor Profile
Professor
Professor Profile
Walter Binder
University of Lugano Switzerland
programming languages
dynamic program analysis
program transformations
View Professor Profile
Professor
Professor Profile
Armando Solar-lezama
Massachusetts Institute of Technology United States of America
programming languages
program synthesis
automated program analysis
View Professor Profile
Professor
Professor Profile
Ranald Clouston
Australian National University Australia
programming languages
formal logic
modal logic
View Professor Profile
First
Prev
Page 1 | 1908 Results
Next