Program Logics Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Peter Stuckey
Monash University Australia
logic programming
program analysis
programming languages
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
Lars Birkedal
Aarhus University Denmark
program analysis
programming languages
functional programming
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
Olivier Danvy
Aarhus University Denmark
program analysis
programming languages semantics
functional programming
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
Ranald Clouston
Australian National University Australia
programming languages
formal logic
modal logic
View Professor Profile
Professor
Professor Profile
Corliss Bean
Brock University Canada
program development
program evaluation
program implementation
View Professor Profile
Professor
Professor Profile
Azalea Raad
Imperial College London United Kingdom
program logics
programming languages
View Professor Profile
Professor
Professor Profile
Lars-henrik Eriksson
Uppsala University Sweden
logic programming
programming languages
View Professor Profile
Professor
Professor Profile
Musard Balliu
KTH Royal Institute of Technology Sweden
logics
program analysis
View Professor Profile
Professor
Professor Profile
Andrea Schalk
University of Manchester United Kingdom
modeling logics of programming languages
linear logic
View Professor Profile
Professor
Professor Profile
Jean-baptiste Jeannin
University of Michigan United States of America
logics
programming languages
View Professor Profile
Professor
Professor Profile
Vijay Ganesh
University of Waterloo Canada
program analysis
mathematical logic
View Professor Profile
Professor
Professor Profile
Ronald Garcia
University of British Columbia Canada
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Jingling Xue
University of New South Wales Australia
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Carlo Furia
Università della Svizzera italiana Switzerland
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
program analysis
programming languages
View Professor Profile
First
Prev
Page 1 | 1787 Results
Next