Logic Programming Professors in Global

Showing 21 of 8,043 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
John Reppy Professor Profile

John Reppy

University of Chicago United States of America
programming languages
functional programming
concurrent programming
parallel programming
object-oriented programming
View Professor Profile
Professor

Tim French

University of Western Australia Australia
probabilistic reasoning
reasoning
algorithms
automated reasoning
logical foundations of computer science
View Professor Profile
Professor

Peter Stuckey

Monash University Australia
logic programming
programming languages
constraint programming
program analysis
View Professor Profile
Professor
Dexter Kozen Professor Profile

Dexter Kozen

Cornell University United States of America
logic
logic algebra
programming languages
probabilistic computation
View Professor Profile
Professor
Richard Statman Professor Profile

Richard Statman

Carnegie Mellon University United States of America
mathematical logic
programming languages
functional programming
theory of computation
View Professor Profile
Professor
Jean-baptiste Jeannin Professor Profile

Jean-baptiste Jeannin

University of Michigan United States of America
logics
programming languages
computation
programming coinductive types
View Professor Profile
Professor

Michael Winter

Brock University Canada
mathematical logic
program development
fundamentals of programming languages
semantics of programming languages
View Professor Profile
Professor
Jonni Virtema Professor Profile

Jonni Virtema

University of Glasgow United Kingdom
logic in computer science
modal logics
logical foundations of neural networks
computational complexity
View Professor Profile
Professor

Olivier Danvy

Aarhus University Denmark
functional programming
program analysis
object-oriented programming
programming languages semantics
View Professor Profile
Professor
Jeffrey Siskind Professor Profile

Jeffrey Siskind

Purdue University United States of America
programming languages
programming environments
optimizing compilers
computational linguistics
View Professor Profile
Professor
Eric Martin Professor Profile

Eric Martin

University of New South Wales Australia
logic programming
logical paradigms
logical foundations
View Professor Profile
Professor
Gerald Penn Professor Profile

Gerald Penn

University of Toronto Canada
logic programming
natural language processing
parsing
View Professor Profile
Professor

Ramin Ramezani

University of California Los Angeles United States of America
inductive logic programming
logic
signal processing
View Professor Profile
Professor
Frank Pfenning Professor Profile

Frank Pfenning

Carnegie Mellon University United States of America
logic
programming languages
logical frameworks
View Professor Profile
Professor
Sebastiaan Terwijn Professor Profile

Sebastiaan Terwijn

Radboud University Netherlands
mathematical logic
probabilistic logic
algebraic logic
View Professor Profile
Professor
Guido Tack Professor Profile

Guido Tack

Monash University Australia
computational logic
programming languages
constraint programming
View Professor Profile
Professor
Ningning Xie Professor Profile

Ningning Xie

University of Toronto Canada
logics
programming languages
functional programming
View Professor Profile
Professor

Fabian Bastin

University of Montreal Canada
mathematical programming
stochastic programming
nonlinear programming
View Professor Profile
Professor
Jeremy Gibbons Professor Profile

Jeremy Gibbons

University of Oxford United Kingdom
programming languages
functional programming
programming methodology
View Professor Profile
Professor
James Cheney Professor Profile

James Cheney

University of Edinburgh United Kingdom
logic
programming languages
generic programming
View Professor Profile
Professor
Anne Bracy Professor Profile

Anne Bracy

Cornell University United States of America
systems programming
digital logic
introductory programming
View Professor Profile
First
Prev
Page 1 | 8043 Results
Next