Skip to main navigation Skip to search Skip to main content
korovin

Konstantin Korovin

Dr

 https://orcid.org/0000-0002-0740-621X

Accepting PhD Students

PhD projects

Automated theorem proving, verification, neuro-symbolic reasoning, combinations of
machine learning and reasoning, non-linear constraint solving, verification and analysis of machine learning models

Fingerprint

Dive into the research topics where Konstantin Korovin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by

Computer Science

Engineering

Mathematics