5 experts in "computer science and mathematical logic" found:
Assaf Kfoury
Expert In:
Computer
science
and
mathematical
logic
Mathematical
foundation of programming languages
Theoretical
computer
science
View Profile
Shai Ben-David
Expert In:
Mathematical
analysis of learning algorithms
Mathematical
logic
and
applications in
computer
science
Clustering
Computational statistics
View Profile
Bob Coecke
Expert In:
Dynamic
and
epistemic
logic
Mathematical
linguistics
Quantum
computer
science
Category theory
View Profile
Michael Sipser
Expert In:
Combinatorics
and
graph theory
Mathematical
logic
Theoretical
computer
science
Algorithms
View Profile
Matthew Valeriote
Expert In:
Mathematical
logic
Theoretical
computer
science
View Profile