Research output per year
Research output per year
Personal profile
My group
Research Group(s)
Overview
Homepage: http://www.cs.man.ac.uk/~korovink/
iProver: https://gitlab.com/korovin/iprover
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
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
-
The ksmt calculus is a δ-complete decision procedure for non-linear constraints
Brauße, F., Korovin, K., Korovina, M. V. & Müller, N. T., 9 Oct 2023, In: Theoretical Computer Science. 975, 16 p., 114125.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Brauße, F., Shmarov, F., Menezes, R., Gadelha, M. R., Korovin, K., Reger, G. & Cordeiro, L., 27 May 2022, (Accepted/In press) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Ground Joinability and Connectedness in the Superposition Calculus
Duarte, A. & Korovin, K., 4 Aug 2022.Research output: Contribution to conference › Paper › peer-review
Open Access -
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
AC Simplifications and Closure Redundancies in the Superposition Calculus
Duarte, A. & Korovin, K., 2021, 20 p.Research output: Other contribution › peer-review
Projects
- 2 Active
-
Centre for Digital Trust and Society
Barrett, E., Allmendinger, R., Elliot, M., Lord, N., Cordeiro, L., Gibson, R., Papamarkou, T., Dresner, D., Buil-Gil, D., Aldridge, J., Duncan, P., Banach, R., Brown, G., Dennis, L., Fisher, M., Korovin, K., Kotselidis, C., Luján, M., Mustafa, M., Olivier, P., Reger, G., Zhang, N., Hodgkinson, G., Gulati, S., Ainsworth, J., Chen, Y., Green, B., Healey, M., Uyarra, E., Zachariadis, M., Little, C., Mackey, E., Nenadic, G., Keane, J., Shlomo, N., Laskowski, N., Jarwar, M. A., Shariati Samani, S., Smith, D., Kambites, M., Thorpe, M., Rowley, P., Flynn, S., Turner, P., Wainwright, V., Czerwinsky, A., Nini, A., Broad, R., Shute, J., Deakin, J., Taboada, P., Knight, P., Hutchings, S., Whyte, J., Tolz-Zilitinkevic, V., Pilkington, H., Guharoy, S., Nicolo, A., Reggiani, C., Garcia Oliva, J., Van Someren, A., Bon, E., Cantijoch Cunill, M., Koch, D. & Chen, Y.
11/05/21 → …
Project: Other
-
SCorCH: Secure Code for Capability Hardware
Reger, G., Cordeiro, L., Korovin, K., Mustafa, M. & Olivier, P.
1/07/20 → 31/12/23
Project: Research
Datasets
-
Supplementary material from "Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA"
Currin, A. (Contributor), Korovin, K. (Contributor), Ababi, M. (Contributor), Roper, K. (Contributor), Kell, D. (Contributor), Day, P. (Contributor) & King, R. (Contributor), figshare , 15 Feb 2017
DOI: 10.6084/m9.figshare.c.3691882.v1, https://figshare.com/collections/Supplementary_material_from_Computing_exponentially_faster_implementing_a_non-deterministic_universal_Turing_machine_using_DNA_/3691882/1
Dataset