Logico Mathematical Tools Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Eric Martin
University of New South Wales Australia
logical foundations
logical paradigms
logic programming
View Professor Profile
Professor
Professor Profile
Guy Curry
Texas A&M University United States of America
analytical tools
simulation tools
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
mathematical logic
logical systems
View Professor Profile
Professor
Professor Profile
Katalin Bimbo
University of Alberta Canada
tools for reasoning
logic
View Professor Profile
Professor
Professor Profile
Fredrik Engström
University of Gothenburg Sweden
mathematical logic
logic
View Professor Profile
Professor
Professor Profile
Walter Lab
Fred Hutchinson Cancer Research Center United States of America
prognostic tools
diagnostic tools
View Professor Profile
Professor
Professor Profile
Domitilla Del Vecchio
Massachusetts Institute of Technology United States of America
control-theoretic tools
mathematical analysis
View Professor Profile
Professor
Professor Profile
Gerald Penn
University of Toronto Canada
mathematical linguistics
logic programming
View Professor Profile
Professor
Professor Profile
Andy Ye
Toronto Metropolitan University Canada
logic synthesis
computer-aided design tools
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
logical frameworks
logic
View Professor Profile
Professor
Professor Profile
Liz Woodham
University of Cambridge United Kingdom
mathematical problem solving
mathematical enrichment
View Professor Profile
Professor
Professor Profile
Dexter Kozen
Cornell University Netherlands
logic
logic algebra
View Professor Profile
Professor
Professor Profile
Jørgen Villadsen
Technical University of Denmark Denmark
logic
constraint based tools
View Professor Profile
Professor
Professor Profile
Sebastian Sequoiah-grayson
University of New South Wales Australia
logico-mathematical tools
View Professor Profile
Professor
Professor Profile
Tobias Grafke
University of Warwick United Kingdom
mathematical tools
View Professor Profile
Professor
Professor Profile
Schuyler Hinman
University of Calgary Canada
numerical mathematical tools
View Professor Profile
Professor
Professor Profile
James Smithies
Australian National University Australia
computational tools
View Professor Profile
Professor
Professor Profile
Aditya Kumar
Georgia Institute of Technology United States of America
theoretical computational tools
View Professor Profile
Professor
Professor Profile
Kristina Shea
ETH Zurich Switzerland
computational tools
View Professor Profile
Professor
Professor Profile
Nikolai Matni
University of Pennsylvania United States of America
computational tools
View Professor Profile
Professor
Professor Profile
Pablo Parrilo
Massachusetts Institute of Technology United States of America
computational tools
View Professor Profile
First
Prev
Page 1 | 649 Results
Next