Personal profile
My group
Research Group(s)
Overview
Homepage: https://korovin.gitlab.io/
iProver: https://gitlab.com/korovin/iprover
email: [email protected]
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
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
Li, X., Song, K., Gadelha, M. R., Brauße, F., Sa Menezes, R. S., Korovin, K. & Cordeiro, L. C., 1 Dec 2025, In: Science of Computer Programming. 246, 103336.Research output: Contribution to journal › Article › peer-review
Open Access -
Invariant neural architecture for learning term synthesis in instantiation proving
Piepenbrock, J., Urban, J., Korovin, K., Olšák, M., Heskes, T. & Janota, M., 1 May 2025, In: Journal of Symbolic Computation. 128, 102375.Research output: Contribution to journal › Article › peer-review
Open AccessFile67 Downloads (Pure) -
ESBMC v7.4: Harnessing the Power of Intervals (Competition Contribution)
Menezes, R., Aldughaim, M., Farias, B., Li, X., Manino, E., Shmarov, F., Song, K., Brauße, F., Gadelha, M. R., Tihanyi, N., Korovin, K. & Cordeiro, L., 6 Apr 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Association for Computing Machinery, p. 376 - 380Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access2 Downloads (Pure) -
Graph Sequence Learning for Premise Selection
Holden, E. K. & Korovin, K., 27 Aug 2024, In: Journal of Symbolic Computation. 102376.Research output: Contribution to journal › Article › peer-review
Open Access -
SMLP: Symbolic Machine Learning Prover
Brausse, F., Khasidashvili, Z. & Korovin, K., 26 Jul 2024, (E-pub ahead of print) Computer Aided Verification - 36th International Conference, CAV 2024. Springer Cham, Vol. 14681. p. 219–233 ( Lecture Notes in Computer Science).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Graff, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Saldana-Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research