Skip header navigation

University of Stirling

×

Article

Formal Synthetic Immunology

Citation
Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82

Abstract
The human immune system fights pathogens using an articulated set of strategies whose function is to maintain in health the organism. A large effort to formally model such a complex system using a computational approach is currently underway, with the goal of developing a discipline for engineering "synthetic" immune responses. This requires the integration of a range of analysis techniques developed for formally reasoning about the behaviour of complex dynamical systems. Furthermore, a novel class of software tools has to be developed, capable of efficiently analysing these systems on widely accessible computing platforms, such as commodity multi-core architectures.

Keywords
; Immunological adjuvants

Journal
ERCIM News: Volume 82

StatusPublished
Author(s)Aldinucci, Marco; Bracciali, Andrea; Lio, Pietro
Publication date31/07/2010
URLhttp://hdl.handle.net/1893/3554
PublisherEuropean Research Consortium for Informatics and Mathematics
Publisher URLhttp://ercim-news.ercim.eu/en82
ISSN0926-4981
Scroll back to the top