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: 2024 | 2021 | 2019
Number of items: 5.

2024

Miller, A. , Abel, J. R., Valkov, I. and Fraser, D. (2024) Implementing the MOLS table for n up to 500. Symmetry, 16(12), 1678. (doi: 10.3390/sym16121678)

Valkov, I. , Donaldson, A. and Miller, A. (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, D., Miller, A. , Porr, B. and Valkov, I. (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, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C. (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)

2019

Valkov, I. and Miller, A. (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 Mon Jan 20 19:44:15 2025 GMT.
Jump to: Articles | Conference Proceedings
Number of items: 5.

Articles

Miller, A. , Abel, J. R., Valkov, I. and Fraser, D. (2024) Implementing the MOLS table for n up to 500. Symmetry, 16(12), 1678. (doi: 10.3390/sym16121678)

Miller, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C. (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, I. , Donaldson, A. and Miller, A. (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, D., Miller, A. , Porr, B. and Valkov, I. (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, I. and Miller, A. (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 Mon Jan 20 19:44:15 2025 GMT.

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.