ROADBLOCK: Towards Programmable Defensive Bacterial Coatings & Skins
Lead Research Organisation:
University of Sheffield
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
Publications
Gheorghe M
(2015)
Membrane Computing
Gheorghe M
(2016)
Testing based on identifiable P Systems using cover automata and X-machines
in Information Sciences
Konur S
(2015)
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.
in IEEE/ACM transactions on computational biology and bioinformatics
Konur S
(2014)
Towards Light-Weight Probabilistic Model Checking
in Journal of Applied Mathematics
Konur S
(2015)
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems.
in ACS synthetic biology
Konur S
(2014)
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
in Fundamenta Informaticae
Naylor J
(2017)
Simbiotics: A Multiscale Integrative Platform for 3D Modeling of Bacterial Populations.
in ACS synthetic biology
Raut M
(2019)
Alcoholic fermentation of thermochemical and biological hydrolysates derived from Miscanthus biomass by Clostridium acetobutylicum ATCC 824
in Biomass and Bioenergy
Description | We have developed a coherent methodology, integrated into a computational tool, for using formal verification tools for verifying the behaviour of Synthetic Biology models. We have also characterised the production of salycylic acid by specific bacteria and the type of biofilms that it produces |
Exploitation Route | The verification methodology can be used together with the IBW tool. In order to make it accessible to non-specialists, a set of natural language patterns are made available with the tool. |
Sectors | Education Manufacturing including Industrial Biotechology Pharmaceuticals and Medical Biotechnology |
Description | When the IBW tool will be complete, by the end of 2015, this might be used by any systems and synthetic biology communities interested in modelling, simulation and verification of their systems, using stochastic approaches. An initial version of the tool should be available by the end of this year. Cited within academic publications |
First Year Of Impact | 2014 |
Impact Types | Economic |
Description | TWENTY 65: Tailored Water Solutions for Positive Impact |
Amount | £3,962,860 (GBP) |
Funding ID | EP/N010124/1 |
Organisation | Engineering and Physical Sciences Research Council (EPSRC) |
Sector | Public |
Country | United Kingdom |
Start | 01/2016 |
End | 01/2021 |
Description | Using a synthetic biology approach to engineer urban water system biofilms |
Amount | £246,458 (GBP) |
Funding ID | EP/M017680/1 |
Organisation | Engineering and Physical Sciences Research Council (EPSRC) |
Sector | Public |
Country | United Kingdom |
Start | 01/2015 |
End | 12/2016 |
Description | Research Seminar - overview of activities |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | Local |
Primary Audience | Postgraduate students |
Results and Impact | Invited research seminar to School of Engineering, Newcastle University, where I gave an overview of my research activities with the aim of future collaborations |
Year(s) Of Engagement Activity | 2018 |