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