Ivaylo Valkov

Ivaylo Valkov is a Lecturer in the School of Computing Science at the University of Glasgow, having joined the academic staff in June 2024. He completed his PhD in Computing Science at the University of Glasgow in 2024 under Prof. Alice Miller, focusing on formal analysis of wireless sensor systems. Prior to this, he earned a Master's degree in Computing Science and Mathematics from the same university in 2018.

His research emphasizes rigorous mathematical analysis of software and hardware systems, particularly through model checking techniques. Key areas include system verification, sensor networks, combinatorial problems, and probabilistic model checking. Valkov has contributed to advancements in overtaking planning algorithms, symmetry reduction methods, and optimization of scheduling problems like the social golfer problem.

His publications (6 items) span peer-reviewed journals like Science of Computer Programming and Symmetry, as well as conferences such as SPIN 2024 and FMAS 2021. While no specific awards are listed, his work reflects sustained engagement with formal methods and their applications in real-world systems.

Valkov teaches Algorithms and Data Structures at the Master's level and co-teaches Software Engineering and Research Methods courses. His teaching aligns with his research focus on logical problem-solving and systematic analysis.