Metodi formali per sistemi biomolecolari
FIRB Priami DIT-PRJ-04-002
Status NOT active project
DISI role Coordinator
Project type Research Project
Dimension National
Acquisition date 2004-01-23
Start date 2004-01-23
End date 2007-01-23
SAP code 40100702
Project details
Project astract This project aims at importing computer science formal techniques into the realm of biochemistry. The techniques adopted covers analytical analysis of molecular networks relying on concurrency theory development. The neat result is a framework to assist biochemestry researchs in the design, planning and analysis of complex experiments involving both qualitative and quantitative aspects. An important part of the project is devoted to the design and validation with biological experiments of the framework. The interdisciplinarity of the research imposes the design of a common language between computer scientist and biologists that we plan to materialize in a graphical interface of the framework.<br/>The project offers several important innovation to the growing field of pathway informatics both in specific modules and as a whole. First, it aims to solve novel problem or problems for which adequate solution do not exists. Second, it provides a single unified platform for specification, visualization, simulation and analysis of pathways. Third, it incorporates biological data and validation as an integral part of the development process, which is built on close work with and testing by expert molecular biologists.
Keywords Bioinformatics, Molecular biology, Concurrency, Formal Methods, Simulation
Fundings 300000 €
Partners
- University of Siena
- DIT - University of Trento