Mr Ivaylo Valkov

  • Lecturer (School of Computing Science)

telephone: 01413304454
email: Ivaylo.Valkov@glasgow.ac.uk

Room S133, Computing Science, 13 Lilybank Gardens, Glasgow, G12 8QQ

Import to contacts

ORCID iDhttps://orcid.org/0000-0003-1116-875X

Biography

I am a lecturer in the School of Computing Science and have been a part of the academic staff since June 2024. Prior to this, I completed my PhD in Computing Science here at the University of Glasgow under the supervision of Prof Alice Miller. My thesis is titled "Formal analysis of communication protocols for wireless sensor systems" and it focused on the application of formal analysis techniques to wireless sensor systems.

Before my PhD, I obtained a Masters in Computing Science and Mathematics from the University of Glasgow in 2018. My graduate studies and research are driven by my pation for logic and problem solving.

Research interests

My research mostly focuses on the analysis of systems (software or hardware) through the application of mathematical techniques. This usually involves creating an abtract representation of the system of interest and defining conditions that the system must meet to ensure safe and satisfactory execution. A rigorous approach is then used to check whether the abstract representation is able to satisfy the conditions or not. I typically use a type of formal verification that is called model checking.

My research interests include:

  • Modelling and Verification
  • Sensor Systems
  • Combinatorics

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2021 | 2019
Number of items: 6.

2025

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID logoORCID: https://orcid.org/0000-0001-8157-998X, Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X, Fraser, Douglas and Pagojus, Daumantas (2025) Model checking with memoisation for fast overtaking planning. Science of Computer Programming, 244, 103300. (doi: 10.1016/j.scico.2025.103300)

2024

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Abel, Julian R., Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Fraser, Douglas (2024) Implementing the MOLS table for n up to 500. Symmetry, 16(12), 1678. (doi: 10.3390/sym16121678)

Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X, Donaldson, Alastair and Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2024) Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. In: 30th International SPIN symposium on Model Checking of Software (SPIN 2024), Luxembourg, 10-11 Apr 2024, pp. 49-66. ISBN 9783031661488 (doi: 10.1007/978-3-031-66149-5_3)

2021

Pagojus, Daumantas, Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID logoORCID: https://orcid.org/0000-0001-8157-998X and Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X (2021) Simulation and Model Checking for Close to Real-time Overtaking Planning. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS2021), 21-22 Oct 2021, pp. 20-37. (doi: 10.4204/EPTCS.348.2)

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Kavanagh, William ORCID logoORCID: https://orcid.org/0000-0003-0521-1643, Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Purchase, Helen C. ORCID logoORCID: https://orcid.org/0000-0001-6994-4446 (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)

2019

Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2019) Using Model Checking in the Design of a Sensor Network Protocol. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 17-18.

This list was generated on Fri Jul 11 23:43:36 2025 BST.
Jump to: Articles | Conference Proceedings
Number of items: 6.

Articles

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID logoORCID: https://orcid.org/0000-0001-8157-998X, Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X, Fraser, Douglas and Pagojus, Daumantas (2025) Model checking with memoisation for fast overtaking planning. Science of Computer Programming, 244, 103300. (doi: 10.1016/j.scico.2025.103300)

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Abel, Julian R., Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Fraser, Douglas (2024) Implementing the MOLS table for n up to 500. Symmetry, 16(12), 1678. (doi: 10.3390/sym16121678)

Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Kavanagh, William ORCID logoORCID: https://orcid.org/0000-0003-0521-1643, Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Purchase, Helen C. ORCID logoORCID: https://orcid.org/0000-0001-6994-4446 (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)

Conference Proceedings

Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X, Donaldson, Alastair and Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2024) Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. In: 30th International SPIN symposium on Model Checking of Software (SPIN 2024), Luxembourg, 10-11 Apr 2024, pp. 49-66. ISBN 9783031661488 (doi: 10.1007/978-3-031-66149-5_3)

Pagojus, Daumantas, Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID logoORCID: https://orcid.org/0000-0001-8157-998X and Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X (2021) Simulation and Model Checking for Close to Real-time Overtaking Planning. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS2021), 21-22 Oct 2021, pp. 20-37. (doi: 10.4204/EPTCS.348.2)

Valkov, Ivaylo ORCID logoORCID: https://orcid.org/0000-0003-1116-875X and Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2019) Using Model Checking in the Design of a Sensor Network Protocol. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 17-18.

This list was generated on Fri Jul 11 23:43:36 2025 BST.

Teaching

I teach the Masters course Algorithms and Data Structures (ADSIT). Additionally, I co-teach the Masters course Software Engineering (IT) and the Level 4 course Research Methods and Techniques.