Logic Synthesis Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
mathematical logic
probabilistic 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
Ian Pratt-hartmann
University of Manchester United Kingdom
logic
natural language logic
logic and geometry
View Professor Profile
Professor
Professor Profile
Graham Murphy
University of Waterloo Canada
synthetic methodology
organic synthesis
synthetic chemistry
View Professor Profile
Professor
Professor Profile
Vincent Mooney
Georgia Institute of Technology United States of America
logic synthesis
synthesis
View Professor Profile
Professor
Professor Profile
Natasha Alechina
Utrecht University Netherlands
synthesis
logic
View Professor Profile
Professor
Professor Profile
Fredrik Engström
University of Gothenburg Sweden
logic
mathematical logic
View Professor Profile
Professor
Professor Profile
Dexter Kozen
Cornell University Netherlands
logic
logic algebra
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
logical systems
mathematical logic
View Professor Profile
Professor
Professor Profile
Sun-joo Shin
Yale University United States of America
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
Gabriel Uzquiano
University of Southern California United States of America
logic
philosophical logic
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
logic
logical frameworks
View Professor Profile
Professor
Professor Profile
Robert Van Rooij
University of Amsterdam Netherlands
logic
philosophical logic
View Professor Profile
Professor
Professor Profile
Harold Hodes
Cornell University Netherlands
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
W. Woodin
Harvard University United States of America
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
Isil Dillig
University of Texas at Austin United States of America
program synthesis
automated logical reasoning
View Professor Profile
Professor
Professor Profile
Graham Leigh
University of Gothenburg Sweden
logic
temporal logics
View Professor Profile
Professor
Professor Profile
Gillman Payette
University of Calgary Canada
logic
epistemic logic
View Professor Profile
Professor
Professor Profile
Rosalie Iemhoff
Utrecht University Netherlands
mathematical logic
philosophical logic
View Professor Profile
Professor
Professor Profile
Ramin Ramezani
University of California Los Angeles United States of America
logic
inductive logic programming
View Professor Profile
Professor
Professor Profile
Kohei Kishida
University of Illinois United States of America
logic
symbolic logic
View Professor Profile
First
Prev
Page 1 | 1438 Results
Next

Empowering the academic world by connecting researchers, professors, and students through global opportunities.

Follow Us

© 2026 ScholarLink Inc. All rights reserved.

Privacy PolicyTerms of Service