Properties (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:academicAdvisor |
gptkb:Andrey_Kolmogorov
|
| gptkbp:almaMater |
gptkb:Moscow_State_University
|
| gptkbp:awards |
Gödel Prize
Fellow_of_the_American_Academy_of_Arts_and_Sciences Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:field |
Computer Science
Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Alexei Gurevich
|
| gptkbp:influenced |
Type Theory
|
| gptkbp:influencedBy |
gptkb:Alan_Turing
|
| gptkbp:knownFor |
Contributions to theoretical computer science
Gurevich's_Thesis |
| gptkbp:nationality |
Russian
|
| gptkbp:publications |
gptkb:Quantum_Computing
Algorithms Artificial Intelligence Bioinformatics Cloud Computing Computational Neuroscience Cybersecurity Data Structures Embedded Systems Formal Verification Internet of Things Machine Learning Model Checking Natural Language Processing Robotics Software Engineering Computational Complexity Information Theory Systems Theory Automata Theory Graph Theory Complexity Theory Concurrency Theory Network Theory Computational Geometry Computational Logic Distributed Algorithms Abstract State Machines Game Semantics The Gurevich Thesis Big_Data Computer_Vision Human-Computer_Interaction Logic_Programming The_Complexity_of_Finite_Models The_Gurevich-Halpern_Theorem Theoretical_Computer_Science |
| gptkbp:researchFocus |
Algorithmic Game Theory
Computational Models Distributed Computing Formal Methods Logic in Computer Science |
| gptkbp:workLocation |
gptkb:University_of_Michigan
gptkb:Microsoft_Research |