Konstantin Korovin's interests
Konstantin Korovin's interests
konstantin korovin
Konstantin
Korovin
Symbolic AI
Symbolic AI
konstantin korovin--Symbolic AI
Mathematics
Mathematics
konstantin korovin--Mathematics
Machine learning
Machine learning
konstantin korovin--Machine learning
Optimisation
Optimisation
konstantin korovin--Optimisation
Automated reasoning
Automated reasoning
konstantin korovin--Automated reasoning
Verification
Verification
konstantin korovin--Verification
Theorem proving
Theorem proving
konstantin korovin--Theorem proving
Formal methods
Formal methods
konstantin korovin--Formal methods
Logic
Logic
konstantin korovin--Logic
Symbolic computation
Symbolic computation
konstantin korovin--Symbolic computation
Artificial intelligence
Artificial intelligence
konstantin korovin--Artificial intelligence
DNA computing
DNA computing
konstantin korovin--DNA computing
SAT/SMT/theorem provers
SAT/SMT/theorem provers
konstantin korovin--SAT/SMT/theorem provers
iProver
iProver
konstantin korovin--iProver
OCaml
OCaml
konstantin korovin--OCaml