korovin CC

Konstantin Korovin


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

If you made any changes in Pure these will be visible here soon.

Personal profile

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Logic, reasoning, formal methods, combination of reasoning and machine learning
  • QA76 Computer software

Research Beacons, Institutes and Platforms

  • Digital Futures


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.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or