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
Konur S
(2015)
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.
in IEEE/ACM transactions on computational biology and bioinformatics
Raut M
(2019)
Alcoholic fermentation of thermochemical and biological hydrolysates derived from Miscanthus biomass by Clostridium acetobutylicum ATCC 824
in Biomass and Bioenergy
Reimann J
(2013)
Archaeal signal transduction: impact of protein phosphatase deletions on cell size, motility, and energy metabolism in Sulfolobus acidocaldarius.
in Molecular & cellular proteomics : MCP
Konur S
(2014)
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
in Fundamenta Informaticae
Raut MP
(2019)
Deciphering the unique cellulose degradation mechanism of the ruminal bacterium Fibrobacter succinogenes S85.
in Scientific reports
Gheorghe M
(2015)
Membrane Computing
Konur S
(2015)
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems.
in ACS synthetic biology
Raut M
(2016)
Quantitative proteomic analysis of the influence of lignin on biofuel production by Clostridium acetobutylicum ATCC 824
in Biotechnology for Biofuels
Naylor J
(2017)
Simbiotics: A Multiscale Integrative Platform for 3D Modeling of Bacterial Populations.
in ACS synthetic biology
Gheorghe M
(2016)
Testing based on identifiable P Systems using cover automata and X-machines
in Information Sciences
Konur S
(2014)
Towards Light-Weight Probabilistic Model Checking
in Journal of Applied Mathematics
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 |