Research output per year
Research output per year
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
Homepage: http://www.cs.man.ac.uk/~korovink/
iProver: https://gitlab.com/korovin/iprover
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Other contribution › peer-review
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
Reger, G., Cordeiro, L., Korovin, K., Mustafa, M. & Olivier, P.
1/07/20 → 31/12/23
Project: Research
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