Computing Logic Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jonni Virtema
University of Glasgow United Kingdom
logic in computer science
modal logics
computational complexity
logical foundations of neural networks
View Professor Profile
Professor
Professor Profile
Tim French
University of Western Australia Australia
reasoning
logical foundations of computer science
automated reasoning
probabilistic reasoning
View Professor Profile
Professor
Professor Profile
Bernd Dammann
Technical University of Denmark Denmark
scientific computing
gpu computing
high-performance computing
large scale computations
View Professor Profile
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
mathematical logic
probabilistic logic
algebraic logic
View Professor Profile
Professor
Professor Profile
Helle Hansen
University of Groningen Netherlands
logic
computation
modal logic
View Professor Profile
Professor
Professor Profile
Dexter Kozen
Cornell University Netherlands
logic
logic algebra
probabilistic computation
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
mathematical logic
logical systems
computer science
View Professor Profile
Professor
Professor Profile
Ian Pratt-hartmann
University of Manchester United Kingdom
logic
natural language logic
logic and geometry
View Professor Profile
Professor
Professor Profile
Ronald De Wolf
University of Amsterdam Netherlands
logic
computational complexity
quantum computing
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
Moshe Vardi
Rice University United States of America
logic
theory of computation
automated reasoning
View Professor Profile
Professor
Professor Profile
Andrea Schalk
University of Manchester United Kingdom
linear logic
modeling logics of programming languages
mathematical structures in computation
View Professor Profile
Professor
Professor Profile
George Tourlakis
York University Canada
logic
modal logic
computability
View Professor Profile
Professor
Professor Profile
Dejan Delic
Toronto Metropolitan University Canada
logic
computational complexity
computability
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
Peter Doerschuk
Cornell University Netherlands
computation
scientific computing
computational science
View Professor Profile
Professor
Professor Profile
Graziana Ciola
Radboud University Netherlands
philosophy logic
history logic
medieval logic
View Professor Profile
Professor
Professor Profile
Fengqi You
Cornell University Netherlands
computation
scientific computing
computational science
View Professor Profile
Professor
Professor Profile
Ranald Clouston
Australian National University Australia
formal logic
modal logic
computer science
View Professor Profile
Professor
Professor Profile
Panos Parpas
Imperial College London United Kingdom
computational mathematics
scientific computing
computational optimization
View Professor Profile
Professor
Professor Profile
Christina Christara
University of Toronto Canada
computational mathematics
scientific computing
high performance computing
View Professor Profile
First
Prev
Page 1 | 7791 Results
Next