Properties (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
scientist
|
| gptkbp:academicAdvisor |
gptkb:Vladimir_V._Prasolov
|
| gptkbp:affiliation |
gptkb:Institute_of_Mathematics
|
| gptkbp:awards |
gptkb:State_Prize_of_the_Russian_Federation
|
| gptkbp:birthPlace |
Moscow,_Russia
|
| gptkbp:birthYear |
1950
|
| gptkbp:contributedTo |
artificial intelligence
cryptography quality assurance big data cloud computing machine learning statistical methods theoretical computer science algorithm design combinatorial optimization computer vision data structures deep learning human-computer interaction information theory mathematical modeling natural language processing neural networks parallel computing robotics swarm intelligence bioinformatics data mining distributed systems evolutionary algorithms reinforcement learning graph theory mathematical logic network theory optimization problems fuzzy logic numerical analysis software testing software engineering theory of computation agile development computational biology software development methodologies internet of things artificial neural networks project management in IT quantum_algorithms devops_practices |
| gptkbp:fieldOfStudy |
computer science
mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Igor N. Smirnov
|
| gptkbp:influencedBy |
gptkb:Andrey_Kolmogorov
|
| gptkbp:knownFor |
research in artificial intelligence
contributions to mathematical logic |
| gptkbp:nationality |
Russian
|
| gptkbp:publishes |
Theory of Algorithms
Logic and Computation Mathematical_Models_in_Computer_Science |
| gptkbp:researchInterest |
gptkb:quantum_computing
computational complexity formal methods algorithmic game theory |