Project description FET Proactive: Unconventional Computation (UCOMP)BIOMICS uses mathematics to translate models of biological systems into novel approaches to computing based on interaction. Show the project objective Hide the project objective Interaction Computing (IC) takes inspiration from cellular processes rather than from evolution. BIOMICS aims to leverage existing cell metabolic and regulatory mechanisms as the ontogenetic basis of a model for IC. However, because the knowledge to properly mimic, exploit and adapt these systems to computer science is lacking, BIOMICS will also advance the state of the art in the mathematics of biocomputing. The mathematical structure thus uncovered feeds into two different and complementary directions. On the one hand, it will inform the automata theory formalisms for IC; on the other hand, it will be mapped through category theory to the logic foundations of the BIOMICS specification language. Whereas the automata theory research will focus on the structural properties of self-organising systems, the BIOMICS specification language will instead focus on the specification of self-organising behaviour. By end of Year 2 we will have developed the formal tools and frameworks from both points of view of the behaviour-realisation dichotomy to be able to effect their synthesis in the form of an environment which, through interactions, is capable of generating useful software systems that match the biological structure template – and are therefore themselves based on interactions. This foundational mathematical work of BIOMICS will be applicable to software systems of a radically new kind and to systems biology, creating a unified mathematical framework for understanding, predicting, manipulating, and dynamically synthesising algorithmic activity-in-context based on interactions (i.e. interaction computation) in both realms. This will be demonstrated not only by the application of the framework to the analysis of complex-adaptive biological systems beyond those studied in the course of its development, but also by proof-of-concept implementations of software systems (for example demonstrating security properties) as a potential new paradigm for unconventional computing. Fields of science natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwarenatural sciencesmathematics Programme(s) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Topic(s) ICT-2011.9.6 - FET Proactive: Unconventional Computation (UCOMP) Call for proposal FP7-ICT-2011-8 See other projects for this call Funding Scheme CP - Collaborative project (generic) Coordinator Contact Paolo DINI Dr. Coordinator THE UNIVERSITY OF HERTFORDSHIRE HIGHER EDUCATION CORPORATION EU contribution € 983 547,00 Address COLLEGE LANE AL10 9AB Hatfield United Kingdom See on map Region East of England Bedfordshire and Hertfordshire Hertfordshire Activity type Higher or Secondary Education Establishments Administrative Contact Paolo Dini (Dr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data Participants (3) Sort alphabetically Sort by EU Contribution Expand all Collapse all UNIVERSITAT PASSAU Germany EU contribution € 441 737,00 Address INNSTRASSE 41 94032 Passau See on map Region Bayern Niederbayern Passau, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Administrative Contact Sabine Wiendl (Ms.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data DEBRECENI EGYETEM Hungary EU contribution € 197 206,00 Address EGYETEM TER 1 4032 Debrecen See on map Region Alföld és Észak Észak-Alföld Hajdú-Bihar Activity type Higher or Secondary Education Establishments Administrative Contact Zoltán Pozsonyi (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data UNIVERSITY OF DUNDEE United Kingdom EU contribution € 207 508,00 Address Nethergate DD1 4HN Dundee See on map Region Scotland Eastern Scotland Angus and Dundee City Activity type Higher or Secondary Education Establishments Administrative Contact Zoe Kidd (Mrs.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data
