Logical Methods For Computer Systems Professors in Global

Showing 21 of 2,847 results Data last updated:

Search By
Location
Location
Searching Globally
Professor

John Anderson

Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
behavioral methods
View Professor Profile
Professor
Dave Touretzky Professor Profile

Dave Touretzky

Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
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
Caleb Pomeroy Professor Profile

Caleb Pomeroy

University of Toronto Canada
computational methods
statistical methods
experimental methods
View Professor Profile
Professor
Mike Tarr Professor Profile

Mike Tarr

Carnegie Mellon University United States of America
mathematical methods
statistical methods
behavioral methods
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
View Professor Profile
Professor

Ingemar André

Lund University Sweden
computational methods
experimental methods
high-throughput methods
View Professor Profile
Professor
Sebastiaan Terwijn Professor Profile

Sebastiaan Terwijn

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

Andrew Pitts

University of Cambridge United Kingdom
mathematical logic
dependently typed logics
theorem proving systems
View Professor Profile
Professor
Oleg Pikhurko Professor Profile

Oleg Pikhurko

University of Warwick United Kingdom
algebraic methods
analytic methods
probabilistic methods
View Professor Profile
Professor
Pablo Parrilo Professor Profile

Pablo Parrilo

Massachusetts Institute of Technology United States of America
optimization methods
computational tools
algebraic techniques
View Professor Profile
Professor
Agi Kurucz Professor Profile

Agi Kurucz

King's College London United Kingdom
logical systems
mathematical logic
View Professor Profile
Professor
Thomas Tiedje Professor Profile

Thomas Tiedje

University of Victoria Canada
computational methods
analytical methods
View Professor Profile
Professor
Satoshi Takahama Professor Profile

Satoshi Takahama

École Polytechnique Fédérale de Lausanne Switzerland
computational methods
analytical methods
View Professor Profile
Professor

Wei Chen

University of Pittsburgh United States of America
computational methods
statistical methods
View Professor Profile
Professor
Rui Duan Professor Profile

Rui Duan

Harvard T.H. Chan School of Public Health United States of America
computational methods
statistical methods
View Professor Profile
Professor
Karen Mckinnon Professor Profile

Karen Mckinnon

University of California Los Angeles United States of America
computational methods
statistical methods
View Professor Profile
Professor
Eli Ben-michael Professor Profile

Eli Ben-michael

Carnegie Mellon University United States of America
computational methods
statistical methods
View Professor Profile
Professor
Corina Cirstea Professor Profile

Corina Cirstea

University of Southampton United Kingdom
logic models of computation
modal logics
View Professor Profile
Professor

Tim Burness

University of Bristol United Kingdom
computational methods
probabilistic methods
View Professor Profile
Professor

Michael Winter

Brock University Canada
relational methods
mathematical logic
View Professor Profile
First
Prev
Page 1 | 2847 Results
Next