My general scientific aim is to understand the role of information-processing in living systems ("Natural Computing").
I use mathematical, computational and wet-lab experimental approaches combining biologically-inspired computing, synthetic / systems biology and evolutionary game theory.
Applications of my research range from the computational study of cooperation and cheating in communities to the spreading of cancer in tissues.
Phd in Computer Science and Artificial Intelligence, University of Seville (Spain)
2006-2009, Microsoft Research - University of Trento, Centre for Computational Systems Biology
2009-2013, Spanish Research Council, CSIC (Fellowship)
2014-2017, University of Edinburgh (Research Associate)
english; italian; spanish
Research:
I study the role of information-processing in living systems. In particular, I investigate the way in which living systems process and manipulate information and how their ability to do that in an efficient way can affect their possibility to compete and cooperate.
This line of research can increase our understanding of the meaning of "computation" and can allow us to use inspiration from living systems to get more reliable and more efficient computational systems.
Moreover, it allows us to understand Nature in a computational way providing new opportunities to tackle social and biological issues.
Algorithms and Data Structures
Algorithms and Data Structures
Bio-Inspired Computing
Synthetic Biology (Modelling and Wet-Lab Experiments)
Evolutionary Game Theory
Network Science
My research is multi-disciplinary and highly collaborative.
My list of co-authos can be found here:
https://scholar.google.com/citations?user=p1JK27sAAAAJ&hl=en
J. Dokmegang, H. Nguyen, E. Kardash, T. Savy, M. Cavaliere, et al. N. Peyriéras, R. Doursat. (2021). Quantification of cell behaviors and computational modelling show that cell directional behaviors drive zebrafish pectoral fin morphogenesis. Bioinformatics. 37(18), pp.2946-2954.
AL. Miles, M. Cavaliere (2021). Opinion diversity and the resilience of cooperation in dynamical networks. Mathematics. 9(15),
G. Yang, M. Cavaliere, C. Zhu, M. Perc (2021). Strategically positioning cooperators can facilitate the contagion of cooperation. Scientific Reports. 11(1),
G. Yang, M. Cavaliere, C. Zhu, M. Perc (2020). Ranking the invasions of cheaters in structured populations. Scientific Reports. 10(1),
M. Cavaliere, S. Feng, OS. Soyer, JI. Jiménez (2017). Cooperation in microbial communities and their biotechnological applications. Environmental Microbiology. 19(8), pp.2949-2963.
C. Moreno-Fenoll, M. Cavaliere, E. Martínez-García, JF. Poyatos (2017). Eco-evolutionary feedbacks can rescue cooperation in microbial populations. Scientific Reports. 7,
M. Cavaliere, G. Yang, V. Danos, V. Dakos (2016). Detecting the Collapse of Cooperation in Evolving Networks. Scientific Reports. 6,
G. Misirli, M. Cavaliere, W. Waites, M. Pocock, C. Madsen, et al. O. Gilfellon, R. Honorato-Zimmer, P. Zuliani, V. Danos, A. Wipat. (2016). Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinformatics. 32(6), pp.908-917.
Z. Xu, M. Cavaliere, P. An, S. Vrudhula, Y. Cao (2014). The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits. Fundamenta Informaticae. 134(1-2), pp.183-200.
A. Csikász-Nagy, LM. Escudero, M. Guillaud, S. Sedwards, B. Baum, et al. M. Cavaliere. (2013). Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis. Semin Cancer Biol. 23(4), pp.293-298.
M. Cavaliere, JF. Poyatos (2013). Plasticity facilitates sustainable growth in the commons. Journal of the Royal Society Interface. 10(81),
M. Cavaliere, S. Sedwards, CE. Tarnita, MA. Nowak, A. Csikász-Nagy (2012). Prosperity is associated with instability in dynamical networks. J Theor Biol. 299, pp.126-138.
F. Bernardini, R. Brijder, M. Cavaliere, G. Franco, HJ. Hoogeboom, et al. G. Rozenberg. (2011). On aggregation in multiset-based self-assembly of graphs. Natural Computing. 10(1), pp.17-38.
M. Cavaliere, P. Leupold (2011). Computing by observing: Simple systems and simple observers. Theoretical Computer Science. 412(1-2), pp.113-123.
CS. CALUDE, M. CAVALIERE, R. MARDARE (2011). AN OBSERVER-BASED DE-QUANTISATION OF DEUTSCH'S ALGORITHM. International Journal of Foundations of Computer Science. 22(01), pp.191-201.
M. Cavaliere, OH. Ibarra, G. Păun, O. Egecioglu, M. Ionescu, et al. S. Woodworth. (2009). Asynchronous spiking neural P systems. Theoretical Computer Science. 410(24-25), pp.2352-2364.
M. Cavaliere, N. Jonoska, P. Leupold (2009). DNA splicing: computing by observing. Natural Computing. 8(1), pp.157-170.
T. Mazza, M. Cavaliere (2009). Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. Electronic Notes in Theoretical Computer Science. 227(C), pp.127-141.
M. Cavaliere, I. Mura (2008). Experiments on the reliability of stochastic spiking neural P systems. Natural Computing. 7(4), pp.453-470.
R. MARDARE, M. CAVALIERE, S. SEDWARDS (2008). A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS. International Journal of Foundations of Computer Science. 19(05), pp.1199-1221.
R. Brijder, M. Cavaliere, A. Riscos-Núñez, G. Rozenberg, D. Sburlan (2008). Membrane systems with proteins embedded in membranes. Theoretical Computer Science. 404(1-2), pp.26-39.
M. Cavaliere, S. Sedwards (2008). Decision problems in membrane systems with peripheral proteins, transport and evolution. Theoretical Computer Science. 404(1-2), pp.40-51.
M. Cavaliere, R. Mardare, S. Sedwards (2008). A multiset-based model of synchronizing agents: Computability and robustness. Theoretical Computer Science. 391(3), pp.216-238.
R. Brijder, M. Cavaliere, A. Riscos-Núñez, G. Rozenberg, D. Sburlan (2007). Membrane Systems with Marked Membranes. Electronic Notes in Theoretical Computer Science. 171(2), pp.25-36.
M. Cavaliere, S. Sedwards (2007). Membrane Systems with Peripheral Proteins: Transport and Evolution. Electronic Notes in Theoretical Computer Science. 171(2), pp.37-53.
M. Cavaliere, R. Freund, M. Oswald, D. Sburlan (2007). Multiset random context grammars, checkers, and transducers. Theoretical Computer Science. 372(2-3), pp.136-151.
M. Cavaliere, P. Leupold (2006). Observation of string-rewriting systems. FUNDAMENTA INFORMATICAE. 74(4), pp.447-462.
M. CAVALIERE, V. DEUFEMIA (2006). FURTHER RESULTS ON TIME-FREE P SYSTEMS. International Journal of Foundations of Computer Science. 17(01), pp.69-89.
II. Ardelean, M. Cavaliere, D. Sburlan (2005). Computing using signals: from cells to P systems. Soft Computing. 9(9), pp.631-639.
M. Cavaliere, D. Sburlan (2005). Time and synchronization in membrane systems. FUNDAMENTA INFORMATICAE. 64(1-4), pp.65-77.
M. Cavaliere, P. Leupold (2004). Evolution and observation—a non-standard way to generate formal languages. Theoretical Computer Science. 321(2-3), pp.233-248.
M. Cavaliere, D. Genova (2004). P systems with symport/antiport of rules. JOURNAL OF UNIVERSAL COMPUTER SCIENCE. 10(5), pp.540-558.
M. Cavaliere, N. Jonoska (2003). Forbidding and enforcing in membrane computing. Natural Computing. 2(3), pp.215-228.
II. Ardelean, M. Cavaliere (2003). Modelling biological processes by using a probabilistic P system software. Natural Computing. 2(2), pp.173-197.
A. Csikász-Nagy, M. Cavaliere, S. Sedwards (2012). Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment. In: New Challenges for Cancer Systems Biomedicine. Springer Milan, pp.3-18.
M. Cavaliere, T. Mazza (2010). A (Natural) Computing Perspective on Cellular Processes. In: Elements of Computational Systems Biology. Wiley, pp.115-140.
M. Cavaliere, A. Sanchez (2017). The evolutionary resilience of distributed cellular computing. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Valencia, Spain, 25/7/2016. pp.3-15.
M. Cavaliere (2008). Computing by Observing: A Brief Survey. In: LOGIC AND THEORY OF ALGORITHMS. Athens, GREECE, 15/6/2008. pp.110-119.
M. Cavaliere, O. Egecioglu, OH. Ibarra, M. Ionescu, G. Păun, et al. S. Woodworth. (2008). Asynchronous Spiking Neural P Systems: Decidability and Undecidability. In: DNA COMPUTING. Memphis, TN, 4/6/2007. pp.246-255.
M. Cavaliere, S. Sedwards (2006). Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. In: COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS. Trento, ITALY, 18/10/2006. pp.108-126.
M. Cavaliere, R. Mardare (2006). Partial Knowledge in Membrane Systems: A Logical Approach. In: MEMBRANE COMPUTING. Leiden, NETHERLANDS, 17/7/2006. pp.279-297.
R. Brijder, M. Cavaliere, A. Riscos-Núñez, G. Rozenberg, D. Sburlan (2006). Membrane Systems with External Control. In: MEMBRANE COMPUTING. Leiden, NETHERLANDS, 17/7/2006. pp.215-232.
M. Cavaliere, P. Frisco, HJ. Hoogeboom (2006). Computing by Only Observing. In: DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS. Univ Calif Santa Barbara, Santa Barbara, CA, 26/6/2006. pp.304-314.
M. Cavaliere, N. Jonoska, P. Leupold (2006). Recognizing DNA Splicing. In: DNA COMPUTING. London, CANADA, 6/6/2005. pp.12-26.
M. Cavaliere, P. Leupold (2005). Evolution and Observation: A Non-standard Way to Accept Formal Languages. In: MACHINES, COMPUTATIONS, AND UNIVERSALITY. St Petersburg, RUSSIA, 21/9/2004. pp.153-163.
M. Cavaliere, M. Ionescu, T-O. Ishdorj (2005). Inhibiting/De-inhibiting Rules in P Systems. In: MEMBRANE COMPUTING. Milan, ITALY, 14/6/2004. pp.224-238.
M. Cavaliere, D. Sburlan (2005). Time–Independent P Systems. In: MEMBRANE COMPUTING. Milan, ITALY, 14/6/2004. pp.239-258.
M. Cavaliere, N. Jonoska, S. Yogev, R. Piran, E. Keinan, et al. NC. Seeman. (2005). Biomolecular Implementation of Computing Devices with Unbounded Memory. In: DNA COMPUTING. Univ Milano Bicocca, Milan, ITALY, 7/6/2004. pp.35-49.
A. Alhazov, M. Cavaliere (2005). Computing by Observing Bio-systems: The Case of Sticker Systems. In: DNA COMPUTING. Univ Milano Bicocca, Milan, ITALY, 7/6/2004. pp.1-13.
A. Alhazov, M. Cavaliere (2004). Proton Pumping P Systems. In: MEMBRANE COMPUTING. Tarragona, SPAIN, 17/7/2003. pp.1-18.
M. Cavaliere, P. Leupold (2004). Evolution and Observation: A New Way to Look at Membrane Systems. In: MEMBRANE COMPUTING. Tarragona, SPAIN, 17/7/2003. pp.70-87.
GB. Enguix, M. Cavaliere, R. Ceterchi, R. Gramatovici, C. Martin-Vide (2003). An application of dynamic P systems: Generating context-free languages. In: MEMBRANE COMPUTING. CURTEA DE ARGES, ROMANIA, 19/8/2002. pp.90-106.
M. Cavaliere (2003). Evolution–Communication P Systems. In: MEMBRANE COMPUTING. CURTEA DE ARGES, ROMANIA, 19/8/2002. pp.134-145.
Member of the Editorial Board of “Mathematics” (MDPI)
Member of the Editorial Board of “SynBio" (MDPI)
Steering Committee Member of the Conference on Membrane Computing
Academy New Appointments Grant (British Computer Society).
Microsoft Artificial Intelligence for Earth Grant
Invited Participant, National Academies Kecks Future Initiatives (NAKFI) Conference on Collective Behavior
National Academies Keck Future Initiatives Grant