Programmable Logic Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Dexter Kozen
Cornell University Netherlands
logic
logic algebra
programming languages
probabilistic computation
View Professor Profile
Professor
Professor Profile
Ranald Clouston
Australian National University Australia
formal logic
modal logic
programming languages
intuitionistic logic
View Professor Profile
Professor
Professor Profile
John Reppy
University of Chicago United States of America
programming languages
parallel programming
functional programming
concurrent programming
View Professor Profile
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
probabilistic logic
mathematical logic
algebraic logic
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
George Tourlakis
York University Canada
logic
computability
modal logic
View Professor Profile
Professor
Professor Profile
Peter Stuckey
Monash University Australia
logic programming
programming languages
program analysis
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
logic
logical frameworks
programming languages
View Professor Profile
Professor
Professor Profile
Helle Hansen
University of Groningen Netherlands
logic
modal logic
computation
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
Hanno Nickau
University of Oxford United Kingdom
computability
categorical logic
programming languages
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
Tim French
University of Western Australia Australia
probabilistic reasoning
automated reasoning
reasoning
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
modern logic
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Jean-baptiste Jeannin
University of Michigan United States of America
logics
programming languages
computation
View Professor Profile
Professor
Professor Profile
Ningning Xie
University of Toronto Canada
logics
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Fabian Bastin
University of Montreal Canada
mathematical programming
stochastic programming
nonlinear programming
View Professor Profile
Professor
Professor Profile
Renato Monteiro
Georgia Institute of Technology United States of America
linear programming
computational optimization
nonlinear programming
View Professor Profile
Professor
Professor Profile
Lars Birkedal
Aarhus University Denmark
programming languages
functional programming
program analysis
View Professor Profile
Professor
Professor Profile
Jeremy Gibbons
University of Oxford United Kingdom
programming languages
functional programming
programming methodology
View Professor Profile
Professor
Professor Profile
Aarne Ranta
Chalmers University of Technology Sweden
programming languages
functional programming
computational linguistics
View Professor Profile
First
Prev
Page 1 | 1839 Results
Next