Savas Konur


I am a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. I received the B.Sc., M.Sc. and Ph.D. degrees in Computer Science from METU (Turkey), RWTH Aachen (Germany) and University of Manchester (UK), respectively. He previously held positions in the Verification and Testing Group (Department of Computer Science) at University of Sheffield and the Logic and Computation Group (Department of Computer Science) at University of Liverpool.

My research interests involve Formal Methods (mainly modeling, verification and analysis of complex, concurrent and stochastic systems) and design/development of software systems/tools/methods facilitating Formal Methods in various application areas, including Systems and Synthetic Biology, Ubiquitious Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems.

I have been involved in several research projects, requiring a wide range of interdisciplinary collaborations both across other research institutes within the university and with external partners. I have published in numerous leading journals and conferences. In addition, I have been involved in the development of various software and programmes, and worked on different phases of software development life cycle, including requirement engineering and testing.


School of Electrical Engineering and Computer Science
University of Bradford
Richmond Road
Bradford, West Yorkshire
Phone: +44 (0) 01274 23 5857
Fax: +44 (0) 01274 23 4111