- Voorschoten, South Holland, Netherlands
Rafael Carvalho
Leiden University, LIACS, Graduate Student
In the study of complex patterns in biology, mathematical and computational models are emerging as important tools. In addition to experimental approaches, these modeling tools have recently been applied to address open questions... more
In the study of complex patterns in biology, mathematical and computational models are emerging as important tools. In addition to experimental approaches, these modeling tools have recently been applied to address open questions regarding host-pathogen interaction dynamics, including the immune response to mycobacterial infection and tuberculous granuloma formation. We present an approach in which a computational model represents the interaction of the Mycobacterium infection with the innate immune system in zebrafish at a high level of abstraction. We use the Petri Net formalism to model the interaction between the key host elements involved in granuloma formation and infection dissemination. We define a qualitative model for the understanding and description of causal relations in this dynamic process. Complex processes involving cell-cell or cell-bacteria communication can be modeled at smaller scales and incorporated hierarchically into this main model; these are to be included...
Research Interests:
Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform... more
Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform computerised simulations of biological systems, which are called in silico experiments, to attain important insights and predictions about the system behaviour with a considerably lower cost. Computer visualisation is an important part of this approach, since it provides a realistic representation of the system behaviour. We define a formal methodology to model biological systems using different levels of representation: a purely formal representation, which we call molecular level, models the biochemical dynamics of the system; visualisation-oriented representations, which we call visual levels, provide views of the biological system at a higher level of organisation and are equipped with the necessary spatial information to generate the appropriate vis...