Skip to content
Open menu Close menu
Dr Savas Konur

Dr Savas Konur

BIOGRAPHY +

Savas Konur is a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. He 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.

His 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, Ubiquitous Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems.

Dr Konur is an experienced researcher and involved in several research projects, requiring a wide range of interdisciplinary collaborations both across other research institutes within the university and with external partners. He has published his results in numerous leading journals and conferences. In addition, he was involved in the development of various software and programmes, and worked on different phases of software development life cycle, including requirement engineering and testing.

GRANTS +

Current, and significant recent, funded projects

Research Projects

2012 – Present. ROADBLOCK – Towards Programmable Defensive Bacterial Coatings & Skins
Role: Technical team leader. Funding body: EPSRC

2012 – Present. MuVet – Multi-scale Modeling, Verification and Testing
Role: Collaborator. Funding body: Romanian National Authority for Scientific Research

2008 – 2011. VPS - Verifying Interoperability Requirements in Pervasive Systems
Role: Research Associate. Funding body: EPSRC

2004 – 2008. Temporal Logics for Real-time and Safety-critical System Specification
Role: PhD Student. Funding body: University of Manchester

2003 – 2004. CIM - Cybernetic Incident Management
Role: Research Assistant. Funding body: RVO, Netherlands

2003 – 2004. DEAL - Distributed Engine for Advanced Logistics
Role: Research Assistant. Funding body: RVO, Netherlands

2001 – 2003. RoboCup
Role: Research Assistant. Funding body: German National Science Foundation

AWARDS AND RECOGNITION +

Top Downloaded Paper, Theoretical Computer Science

Best Paper Runner-up in the 14th International Conference on Membrane Computing

Department and Faculty Scholarships, University of Manchester (2004-2008)

Research Assistantship & Scholarship (Teilstipendium), RWTH Aachen (2001-2003). Ranked first in M.Sc. Programme.

Scholarship from Turkish Computer Society (1997-2001)

INTERNATIONAL SCIENTIFIC ACTIVITIES +

Memberships
IEEE, BCS, AISB

Seminars & Invited Talks
Department of Computer Science, University of Sheffield - May, 2015
School of Electrical Engineering and Computer Science, University of Bradford - February, 2015
Department of Computing Science, Newcastle University - September, 2014
Department of Computer Science, Brunel University - August, 2014
Department of Computer Science, University of Sheffield - April, 2013
Department of Computing, Imperial College - August, 2011
Department of Computer Science, University of Liverpool - November, 2010
Department of Computer Science, University of Swansea - September, 2009
Department of Informatics, University of Oslo - July, 2009
Department of Computer Science, University of Liverpool - November, 2008
School of Computer Science, University of Manchester - June, 2008
School of Computer Science, University of Manchester - December, 2006
Department of Computer Science, RWTH Aachen - January, 2004
Faculty of Sciences, VU University of Amsterdam - January, 2004

Programme Committee
Track Chair and PC Member of 16th IEEE Int. Conference on High Performance Computing and Communications, HPCC 2015
Track Chair of 16th IEEE Int. Conference on High Performance Computing and Communications, HPCC 2014
PC Member of Workshop on Formal Methods for Pervasive Systems at FM'11
PC Member of Int. Symposium on Temporal Representation and Reasoning, TIME'10

Review (Journal):
ACM Transactions on Autonomous and Adaptive Systems
Journal of Autonomous Agents and Multi-Agent Systems
Theoretical Computer Science
IEEE Transactions on Systems, Man, and Cybernetics, Part A
Journal of Membrane Computing
Journal of Ambient Intelligence and Smart Environments
Logic Journal of the IGPL
Turkish Journal of Electrical Engineering and Computer Sciences

Review (Conference):
Logic in Computer Science
International Conference on Foundations of Software Science and Computation Structures
European Summer School in Logic, Language and Information
International Conference on Formal Engineering Methods
International Conference on Autonomous Agents and Multi-Agent Systems
European Conference on Artificial Intelligence
International Conference on Intelligent Agent Technology

RESEARCH STUDENTS +

Current
PhD
Mehmet Emin Bakir - Performance Benchmarking of Statistical Model Checkers. Co-supervisor (with Dr. Mike Stannett)
Laurentiu Mierla - Modeling and Verification in Systems and Synthetic Biology. Co-supervisor (with Prof. Florentin Ipate, University of Bucharest)

MSc
Saqib Mohammad - DB Evaluation NoSQL Systems

Previous
MSc
Feng Zang - A Swarm-Checker, A Robot Swarm Front-End, 2010
Ahmed Al Zahrani - Formal Analysis of a Message Forwarding System, 2009

RECENT PUBLICATIONS +

2015

- Savas Konur, Marian Gheorghe, Ciprian Dragomir, Laurentiu Mierla, Florentin Ipate, Natalio Krasnogor. Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology, vol. 4(1), pp. 83-92, 2015.
- Savas Konur, Marian Gheorghe. A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 12(2), pp. 360-371, 2015.[pdf]
- Savas Konur, Michael Fisher. A roadmap to pervasive systems verification. Knowledge Engineering Review, vol. 30(3), pp. 324-341, 2015.[pdf]

2014

- Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor. Conventional verification for unconventional computing: A genetic XOR gate example. Fundamenta Informaticae, vol. 134, pp. 97-110, 2014.[pdf]
- Savas Konur. Specifying safety-critical systems with a decidable duration logic. Science of Computer Programming, vol. 80-B, pp. 264-287, 2014.[pdf]
- Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox. Formal verification of a pervasive messaging system. Formal Aspects of Computing, vol. 26(4), pp. 677-694, 2014.[pdf]
- Savas Konur. Towards light-weight probabilistic model checking. Journal of Applied Mathematics, Special issue on Intelligent Modeling and Verification, vol. 2014, 15 pages, 2014. [pdf]
- Jonathan Blakes, Jamie Twycross, Savas Konur, Francisco Jose Romero-Campero, Natalio Krasnogor, Marian Gheorghe. Infobiotics Workbech: A P systems based tool for systems and synthetic biology. Applications of Membrane Computing in Systems and Synthetic Biology, Springer, 7, pp. 1-41, 2014. [pdf]
- Fatih Camci, Omer Faruk Eker, Saim Baskan, Savas Konur. Comparison of sensors and methodologies for effective prognostics on railway turnout systems. Journal of Rail and Rapid Transit, 2014. [pdf]
- Daven Sanassy, Harold Fellermann, Savas Konur, Christophe Ladroue, Laurentiu Mierla, Sara Kalvala, Marian Gheorghe and Natalio Krasnogor. Modeling and Stochastic Simulation of Synthetic Biological Boolean Gates. 16th IEEE International Conference on High Performance Computing and Communications, Proceedings of HPCC'14, Paris, France, pp. 404-408, 2014.[pdf]
- Ionut Niculesci, Florentin Ipate, Mehmet Bakir, Savas Konur, Marian Gheorghe. High Performance Simulations of Kernel P Systems. 16th IEEE International Conference on High Performance Computing and Communications, Proceedings of HPCC'14, pp. 409-412, Paris, France, 2014. [pdf]
- Mehmet Bakir, Iout Niculescu, Laurentiu Mierla, Savas Konur, Florentin Ipate. Extended Simulation and Verification Platform for Kernel P Systems. 15th International Conference on Membrane Computing, LNCS, pp. 158-178, Prague, Czech Republic, 2014. [pdf]
- Savas Konur, Christophe Ladroue, Harold Fellermann, Daven Sanassy, Laurentiu Mierla, Florentin Ipate, Sara Kalvala, Marian Gheorghe and Natalio Krasnogor. Modeling and Analysis of Genetic Boolean Gates using Infobiotics Workbench. Verification of Engineered Molecular Devices and Programs, Proceedings of VEMDP'14, pp. 26-37, Vienna, Austria, 2014. [pdf]
- Savas Konur and Marian Gheorghe. Design and Analysis of Genetically Constructed Logic Gates, Proceedings of the University of Sheffield Engineering Symposium Conference, vol.1, Sheffield, UK, 2014. [pdf]
- Harold Fellermann, Christophe Ladroue, Savas Konur, Daven Sanassy, Laurentiu Mierla, Sara Kalvala, Marian Gheorghe and Natalio Krasnogor. The Infobiotics Workbench - Integrating Design, Verification and Compilation of Synthetic Biology Circuits. International Symposium on Integrative Bioinformatics, poster presentation, Newcastle, UK, 2014.

2013

- Savas Konur, Michael Fisher, Sven Schewe. Combined model checking for temporal, probabilistic, and real-time logics. Theoretical Computer Science, vol. 503, pp. 61-88, 2013. [pdf]
- Savas Konur. A survey on temporal logics for specifying and verifying real-time systems. Frontiers of Computer Science, vol. 7(3), pp. 370-403, 2013. [pdf]
- Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla. Model Checking Kernel P Systems. 14th International Conference on Membrane Computing, LNCS, vol. 8340, pp. 151-172, Chisinau, Moldova, 2013. [pdf]

2012

- Savas Konur. Clare Dixon, Michael Fisher. Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems, vol. 60(2), pp. 199-213, 2012. [pdf]

2011

- Savas Konur. An event-based fragment of first-order logic over intervals. Journal of Logic, Language and Information, vol. 20(1), pp. 49-68, 2011. [pdf]
- Savas Konur, Michael Fisher. Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. 73rd IEEE Vehicular Technology Conference, Proceedings of VTC Spring 2011, pp. 1-5, Budapest, Hungary, 2011. [pdf]

Profile last updated on: 28-11-2016

Upcoming events

View all events »