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.