Skip to content

Professor Savas Konur

Prof of AI and Computational Modelling

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Emails.konur@bradford.ac.uk
LinkedInSee Savas Konur on LinkedIn

Biography

Savas Konur is Professor of Artificial Intelligence and  Computational Modelling at the Faculty of Engineering and Informatics, University of Bradford, where he was previously Lecturer, Senior Lecturer and Reader. 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 Department of Computer Science at University of Sheffield and at University of Liverpool. 

Prof Konur is the Head of Computational Modelling Research Group. His research interests involve scientific AI; integrated modelling using data-driven, computational, and mathematical modelling paradigms; machine learning-enhanced simulation and verification; intelligent automation and decision-support for complex systems with interdisciplinary applications to systems and synthetic biology, membrane computing, and smart manufacturing. 

He has successfully secured a portfolio of R&I grants worth of £1.5M as PI and £1.3M as Co-I, funded by EPSRC, Innovate UK, EU RDF and commercial organisations,s. He has established networks and collaborations with industry and academic institutions both nationally and internationally, which have led to interdisciplinary projects, bids and publications. 

He has published in numerous prestigious flagship journals as well as many leading conferences. He is in the Editorial Board of Journal of Membrane Computing — Springer Verlag, a flagship journal in membrane computing, a Committee Member of the International Membrane Computing Society, a Member of Verification and Validation of Autonomous Systems UK Network and a Member of Make UK. He has served as referee in numerous prestigious journals and conferences and regularly review for the Engineering and Physical Sciences Research Council (EPSRC), the National Institute for Health and Care Research (NIHR) and Leverhulme Trust. His research has been recognised with multiple awards. He is a currently a Member of both the University’s and FoEI's Research & Innovation Committees.  

Research

Computational Modelling, Data Driven Modelling (including Machine Learning), Software Engineering, Software Verification and High-performance Computing with interdisciplinary applications to Systems and Synthetic Biology, Membrane Computing, Intelligent Systems and Smart Manufacturing
Date Role Title / Description Funder Award
01-OCT-22 - Principal Investigator Smart and Sustainable Manufacturing for Baking Industry [Innovate UK]
618000
01-OCT-18 - Principal InvestigatorLight-weight Verification for Synthetic Biology [EPSRC]
353000
01-MAR-20 - Principal InvestigatorSmart Network Traffic Monitoring [Innovate UK KTP]
196000
01-JUN-17 - Principal InvestigatorIntelligent Manufacturing Systems [Innovate UK KTP]
139000
01-APR-19 - Principal InvestigatorIntelligent Network Services [EU RDF]
160000
01-MAY-19 - Principal InvestigatorAI Enabled Feedback Analysis [EU RDF]
37000
01-MAR-17 - Principal InvestigatorCollaboration & Capacity Development Award [UoB]
3000
01-MAR-22 - Co-InvestigatorNovel System Arch. for Fast Frequency Services [Innovate UK KTP]
165000
01-JUN-21 - Co-InvestigatorAI-based Decision Support System for Law [Innovate UK KTP]
175000
01-FEB-22 - Co-InvestigatorAutomatic Synthesis of Manufacturing Process Controllers [SURE]
50000
01-FEB-17 - Co-InvestigatorPrimary Care at Scale - Upskilling an 'On-demand' Workforce for NHS [SBRI]
1000000

Professional activities

  • 01-NOV-19: University of Bradford - Reader in Computer Science
  • 01-NOV-17:  University of Bradford -  Senior Lecturer in Computer Science
  • 01-JUN-12: University of Sheffield - Postdoctoral Research Associate
  • International Membrane Computing Society , Committee Member
  • Verification & Validation of Autonomous Network, Member
  • British Computer Society, Member
  • Make UK , Member
  • University of Bradford Research and Innovation Committee,
  • Faculty of Engineering and Informatics Research and Innovation Committee,
  • University of Bradford External Examiner Committee,
  • International Membrane Computing Society ,
  • 01-JAN-15: Top Downloaded Paper, Theoretical Computer Science
  • 01-JAN-14: Best Paper Runner-up in 14th Int. Conference on Membrane Computing
  • 01-JAN-08: Department and Faculty Scholarships, University of Manchester
  • 01-JAN-03: Research Assistantship & Scholarship (Teilstipendium), RWTH
  • 01-JAN-22: AIERC2022 Best paper award
  • 01-JAN-20: Innovate UK KTP Best of Best Finalist
  • 01-JAN-19: Innovate UK Certificate of Excellence Award
  • 01-JAN-18: University of Bradford Performance Recognition Award
  • 01-JAN-17: University of Bradford, NSS/PTES Recognition Award
  • 01-JAN-17: Google Summer of Code Award (IBW)
  • 01-JAN-16: University of Bradford Performance Recognition Award
  • 01-JAN-16: Best Student Paper Nomination, 17th Int. Conference on Membrane Computing
  • Member of UoB Research and Innovation Committee
  • Member of FoEI Research and Innovation Committee
  • Member of UoB External Examiner Committee
  • Programme Leader of BEng Software Engineering
  • Computing Enterprise Computing Management Team Member
  • Programme Committee Member and Track Chair: PC Member of Int. Conference on Fuzzy Logic and Data Mining, FSDM22, 2022 PC Member of 23rd International Conference on Membrane Computing, CMC23, 2022 PC Member of AIERC2022 PC Member of Int. Conference on Fuzzy Logic and Data Mining, FSDM21, 2021 PC Member of 22nd Int. Conf. on Membrane Computing, CMC22, 2021 PC Member of AIERC2021 PC Member of Int. Conference on Fuzzy Logic and Data Mining, FSDM20, 2020 PC Member of 21st International Conference on Membrane Computing, CMC21, 2020 PC Member of Int. Conference on Fuzzy Logic and Data Mining, FSDM19, 2019 PC Member of 20th International Conference on Membrane Computing, CMC20, 2019 PC Member of Asian Branch of Int. Conf. on Membrane Computing, ACMC19, 2019 PC Member of 19th International Conference on Membrane Computing, CMC19, 2018 PC Member of Int. Conference on Fuzzy Logic and Data Mining, FSDM18, 2018 Co-organiser of 18th International Conference on Membrane Computing, CMC18,
  • Funding Bodies Peer Review: Referee for EPSRC, NIHR and Leverhulme

Publications

Peer Reviewed Journal
TitleSpiking neural P systems: matrix representation and formal verification (2021)
AuthorsMarian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna
JournalJournal of Membrane Computing
PublisherSpringer
DOIhttps://doi.org/10.1007/s41965-021-00075-1
 
TitleToward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation (2021)
AuthorsSavas Konur, Laurentiu Mierla, Harold Fellermann, Christophe Ladroue, Bradley Brown, Anil Wipat, Jamie Twycross, Boyang Peter Dun, Sara Kalvala, Marian Gheorghe, and Natalio Krasnogor
JournalACS Synthetic Biology
DOIhttps://doi.org/10.1021/acssynbio.1c00143
 
TitleTowards design and implementation of Industry 4.0 for food manufacturing (2021)
AuthorsKonur S.;Lan Y.;Thakker D.;Morkyani G.;Polovina N.;Sharp J.
JournalNeural Computing and Applications
DOI10.1007/s00521-021-05726-z
 
TitleKPWORKBENCH: A software suit for membrane systems (2020)
AuthorsKonur S.;Mierlă L.;Ipate F.;Gheorghe M.
JournalSoftwarex
DOI10.1016/j.softx.2020.100407
 
TitleA Hybrid Modular Approach for Dynamic Fault Tree Analysis (2020)
AuthorsKabir S.;Aslansefat K.;Sorokos I.;Papadopoulos Y.;Konur S.
JournalIeee Access
DOI10.1109/ACCESS.2020.2996643
 
TitleModel-based integration analysis revealed presence of novel prognostic miRNA targets and important cancer driver genes in triple-negative breast cancers (2020)
AuthorsZaka M.;Sutton C.W.;Peng Y.;Konur S.
JournalCancers
DOI10.3390/cancers12030632
 
TitleSearch-based testing in membrane computing (2019)
AuthorsŢurlea A.;Gheorghe M.;Ipate F.;Konur S.
JournalJournal of Membrane Computing
DOI10.1007/s41965-019-00027-w
 
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
PublisherElsevier
DOIhttps://doi.org/10.1016/j.tcs.2017.12.010
 
TitleAutomatic Selection of Verification Tools for Efficient Analysis of Biochemical Models (2018)
AuthorsBakir, M.E.; Konur, Savas; Gheorghe, Marian; Krasnogor, N.; Stannett, M.
JournalBioinformatics
DOIhttps://doi.org/10.1093/bioinformatics/bty282
 
TitleTowards a predictive analytics-based intelligent malaria outbreakwarning system (2017)
AuthorsModu B.;Polovina N.;Lan Y.;Konur S.;Taufiq Asyhari A.;Peng Y.
JournalApplied Sciences
DOI10.3390/app7080836
 
TitleComparison of sensors and methodologies for effective prognostics on railway turnout systems (2016)
AuthorsCamci F.;Eker O.;Baskan S.;Konur S.
JournalProceedings Of The Institution Of Mechanical Engineers, Part F: Journal Of Rail And Rapid Transit
DOI10.1177/0954409714525145
 
TitleTesting Based on Identifiable P Systems Using Cover Automata and X-Machines (2016)
AuthorsGheorghe, Marian; Ipate, F.; Konur, Savas
JournalInformation Sciences
DOIhttps://doi.org/10.1016/j.ins.2016.08.028
 
TitleQualitative and quantitative analysis of systems and synthetic biology constructs using P systems (2015)
AuthorsKonur, Savas; Gheorghe, Marian; Dragomir, C.; Mierla, L.M.; Ipate, F.; Krasnogor, N.
JournalACS Synthetic Biology
DOIhttps://doi.org/10.1021/sb500134w
 
TitleA property-driven methodology for formal analysis of synthetic biology systems (2015)
AuthorsKonur, Savas; Gheorghe, Marian
JournalIEEE/ACM Transactions on Computational Biology and Bioinformatics
DOI10.1109/TCBB.2014.2362531
 
TitleA Roadmap to Pervasive Systems Verification (2015)
AuthorsKonur, Savas; Fisher, M.
JournalKnowledge Engineering Review
DOIhttps://doi.org/10.1017/S0269888914000228
 
TitleSpecifying safety-critical systems with a decidable duration logic (2014)
AuthorsSavas Konur
JournalScience of Computer Programming
PublisherElsevier
DOIhttps://doi.org/10.1016/j.scico.2013.07.012
 
TitleTowards Light-Weight Probabilistic Model Checking (2014)
AuthorsKonur, Savas
JournalJournal of Applied Mathematics
 
TitleConventional verification for unconventional computing: a genetic XOR gate example (2014)
AuthorsKonur, Savas; Gheorghe, Marian; Dragomir, C.; Ipate, F.; Krasnogor, N.
JournalFundamenta Informaticae
 
TitleFormal verification of a pervasive messaging system (2014)
AuthorsKonur S.;Fisher M.;Dobson S.;Knox S.
JournalFormal Aspects of Computing
DOI10.1007/s00165-013-0277-4
 
TitleCombined model checking for temporal, probabilistic, and real-time logics (2013)
AuthorsKonur S.;Fisher M.;Schewe S.
JournalTheoretical Computer Science
DOI10.1016/j.tcs.2013.07.012
 
TitleA survey on temporal logics for specifying and verifying real-time systems (2013)
AuthorsKonur S.
JournalFrontiers of Computer Science
DOI10.1007/s11704-013-2195-2
 
TitleAnalysing robot swarm behaviour via probabilistic model checking (2012)
AuthorsKonur S.;Dixon C.;Fisher M.
JournalRobotics and Autonomous Systems
DOI10.1016/j.robot.2011.10.005
 
TitleAn Event-Based Fragment of First-Order Logic over Intervals (2011)
AuthorsKonur S.
JournalJournal of Logic, Language and Information
DOI10.1007/s10849-010-9126-5
 
TitleTowards the Verification of Pervasive Systems (2009)
AuthorsM. Arapinis, M. Calder, L. A. D., M. Fisher, P. D. Gray, S. Konur, A. Miller, E. Ritter, M. Ryan, S. Schewe, C. Unsworth, R. Yasmin
JournalElectronic Communications of the EASST
DOI http://dx.doi.org/10.14279/tuj.eceasst.22.315
 
Other Journal
TitleAgent-Based Modelling of Malaria Transmission Dynamics (2020)
AuthorsBabagana Modu, Nereida Polovina, Savas Konur
JournalarXiv
DOI10.48550/arXiv.2004.06477
 
TitleA review of modelling and verification approaches for computational biology (2020)
AuthorsSavas Konur
JournalUniversity of Bradford
 
TitleKernel P systems and relationships with other classes of P systems (2015)
AuthorsMarian Gheorghe, Savas Konur, Florentin Ipate
JournalMultidisciplinary Creativity
PublisherSpandugino Publishing House
 
TitleSolutions to the Subset Sum and Partition. Problems Using Kernel P Systems (2015)
AuthorsMarian Gheorge, Florentin Ipate, Savas Konur
JournalAnnals of Bucharest University
PublisherUniversity of Bucharest Press
 
TitleQuantitative Modelling and Automated Analysis of a Cooperative Congestion Control Protocol for Dynamic Vehicular Ad-hoc Networks (2013)
AuthorsAndrei, Oana; Calder, Muffy; Fisher, Michael; Konur, Savas
JournalUniversity of Glasgow
 
TitleReal-time and Probabilistic Temporal Logics: An Overview (2010)
AuthorsSavas Konur
JournalarXiv
DOIhttps://doi.org/10.48550/arXiv.1005.3200
 
TitleA Survey on Temporal Logics (2010)
AuthorsSavas Konur
JournalarXiv
DOIhttps://doi.org/10.48550/arXiv.1005.3199
 
TitleVerification of multi-agent systems via combined model checking (2009)
AuthorsSavas Konur, Michael Fisher, Sven Schewe
JournalUniversity of Liverpool
 
Book
Title Membrane Computing Models: Implementations (2021)
AuthorsGexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe
PublisherSpringer
DOIhttps://doi.org/10.1007/978-981-16-1566-5
 
Book Chapters
TitleAn Integrated In Silico Simulation and Biomatter Compilation Approach to Cellular Computation (2017)
AuthorsSavas Konur, Harold Fellermann, Larentiu Marian Mierla, Daven Sanassy, Christophe Ladroue, Sara Kalvala, Marian Gheorghe, Natalio Krasnogor
JournalAdvances in Unconventional Computing
PublisherSpringer International Publishing
 
TitleKernel P Systems and Stochastic P Systems for Modelling and Formal Verification of Genetic Logic Gates. (2017)
AuthorsMarian Gheorghe, Savas Konur, Florentin Ipate
JournalAdvances in Unconventional Computing
PublisherSpringer International Publishing
 
TitleInfobiotics Workbench - A P Systems Based Tool for Systems and Synthetic Biology (2014)
AuthorsBlakes, J.; Twycross, J.; Konur, Savas; Romero-Campero, F.J.; Krasnogor, N.; Gheorghe, Marian
JournalApplications of Membrane Computing in Systems and Synthetic Biolog
PublisherSpringer International Publishing
DOIhttps://doi.org/10.1007/978-3-319-03191-0_1
 
Edited Book
TitleProceedings of the Workshop on Membrane Computing, WMC 2016. (2016)
AuthorsKonur, Savas; Gheorghe, Marian
PublisherUniversity of Bradford
 
Title Author(s)
A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite (2022)Matzko R.O.;Mierla L.;Konur S.
Detection of Brain Tumour Using Deep Learning (2021)Ahmed W.;Konur S.
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management (2021)Zadeh E.;Amstutz S.;Collins J.;Ingham C.;Gheorghe M.;Konur S.
Spiking Neural P Systems Simulation and Verification (2020)R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna
Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption (2020)Preniqi, Vjosa and Mishra, Bhupesh Kumar and Thakker, Dhavalkumar and Feigl, Erich and Mokryani, Geev and Abdullatif, Amr and Konur, Savas
A novel semantic complex event processing framework for streaming processing (2019)Yemson R.;Thakker D.;Konur S.
Machine learning analysis and agent-based modelling of malaria transmission (2018)Modu B.;Polovina N.;Lan Y.;Konur S.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2018)Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M.
Modelling and validating an engineering application in kernel P systems (2018)Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F.
A data collection and prediction methodology for manufacturing process: A case study in food industry (2018)Lan Y.;Konur S.;Sutcliffe P.
An Assessment on the Hidden Ecological Factors of the Incidence of Malaria (2017)B. Modu, A. T. Asyhari, S. Konur, Y. Peng
Comparative analysis of statistical model checking tools (2017)Bakir M.;Gheorghe M.;Konur S.;Stannett M.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2017)Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian
Kernel P Systems Modelling, Testing and Verification (2016)M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur
Kernel P systems modelling, testing and verification - Sorting case study (2016)Gheorghe M.;Ceterchi R.;Ipate F.;Konur S.
kPWorkbench: a software framework for Kernel P systems (2015)Gheorghe, Marian; Ipate, F.; Mierla, L.M.; Konur, Savas
An integrated model checking toolset for kernel P systems (2015)Gheorghe M.;Konur S.;Ipate F.;Mierla L.;Bakir M.;Stannett M.
Agent-based high-performance simulation of biological systems on the GPU (2015)Konur S.;Kiran M.;Gheorghe M.;Burkitt M.;Ipate F.
Extended simulation and verification platform for kernel P systems (2014)Bakir, M.E.; Ipate, F.; Konur, Savas; Mierla, L.M.; Niculescu, I.M.
High performance simulations of kernel P systems (2014)Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Niculescu, I.M.; Ipate, F.
Modelling and stochastic simulation of synthetic biological Boolean gates (2014)Sanassy, D.; Fellerman, H.; Krasnogor, N.; Konur, Savas; Mierla, L.M.; Gheorghe, Marian; Ladroue, C.; Kalvala, S.
Modeling and Analysis of Genetic Boolean Gates using Infobiotics Workbench (2014)S. Konur, C. Ladroue, H. Fellermann, D. Sanassy, L. Mierla, F. Ipate, S. Kalvala, M. Gheorghe, N. Krasnogor
Design and Analysis of Genetically Constructed Logic Gates (2014)Konur, S. and Gheorghe, M
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example (2014)Konur Savas, Marian Gheorgue, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor
Modelling and stochastic simulation of synthetic biological boolean gates (2014)Sanassy D.;Fellermann H.;Krasnogor N.;Konur S.;Mierla L.;Gheorghe M.;Ladroue C.;Kalvala S.
Model checking kernel P systems (2013)Dragomir C.;Ipate F.;Konur S.;Lefticaru R.;Mierla L.
Model checking kernel P systems (2013)Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M.
Formal analysis of a VANET congestion control protocol through probabilistic verification (2011)Konur S.;Fisher M.
Formal verification of probabilistic swarm behaviours (2010)Konur S.;Dixon C.;Fisher M.
Verification of Pervasive Systems (2009)Konur, Savas; Fisher, Michael
A Decidable Approach to Real-time System Specification (2009)Konur, Savas
Verification of a Message Delivery System using PRISM (2009)Konur, Savas; Al Zahrani, Ahmed; Fisher, Michael
A Temporal Logic of Intervals and Its Tableau-based Decision Procedure (2009)Konur, Savas
Real-time System Specification with a Decidable Temporal Logic (2009)Konur, Savas
An interval logic for natural language semantics (2008)Konur, Savas
A decidable temporal logic for events and states (2006)Konur S.
Automated support for adaptive incident management (2004)Abbink, Hans; Van Dijk, Roel; Dobos, Tamas; Hoogendoorn, Mark; Jonker, Catholijn; Konur, Savas; van Maanen, Peter-Paul; Popova, Viara; Sharpanskykh, Alexei; van Tooren, Peet; Treur, Jan; Valk, Jeroen; Xu, Lai; Yolum, Pinar
Automated Analysis for Incident Management (2004)Abbink, H; Dijk, R van; Dobos, T; Hoogendoorn, M; Jonker, CM; Konur, S; Van Maanen, PP; Popova, V; Sharpanskykh, A; Tooren, P van; Treur, J; Valk, J; Xu, L; Yolum, P
Learning decision trees for action selection in soccer agents (2004)Konur, Savas; Ferrein, Alexander; Lakemeyer, Gerhard