Committed Teacher. Wannabe Mathematician. Academic Vagabond.

About Me

I'm a postdoctoral researcher at the Centre for the Advanced Study of Collective Behaviour and University of Konstanz. My current research seeks to develop modeling metholodies to investigate collective behavior emerging from natural and artificial systems. I hold a PhD in Theoretical Computer Science from Inria & ENS-PSL in Paris, supervised by Jérôme Feret. In general, my PhD subject sought to verify logical models, a popular Systems Biology modeling tool. You can read more about this work here.

Research interests:

  • Abstract interpretation
  • Static analysis of biomedical devices (such as digital twins)
  • Modeling paradigms for Systems Biology
  • Graph rewriting systems (in particular, KappaLanguage)

Upcoming and most recent academic activities

  • Jan. 2026 - Jan. 2027. Visiting Postdoctoral Researcher, HHMI Janelia, Virginia, USA.
  • May 2026. Visiting researcher at ENS-Paris, Paris, France.
  • April 2026. PC Member. 24th International Conference on Computational Methods in Systems Biology (CMSB 2026).
  • June 2025. Sub-reviewer for 25th International Symposium on Fundamentals of Computation Theory (FCT 2025).
  • May 2025. Sub-reviewer for 23rd International Conference on Computational Methods in Systems Biology (CMSB 2025).

Publications

  1. M. Bouguéon, T. Petrov and A. Salazar. A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis. To appear: CMSB 2025. 2025.
  2. A. Niarakis, R. Laubenbacher, ... A. Salazar, ..., J. A. Glazier. Immune digital twins for complex human pathologies: applications, limitations, and challenges. npj Systems Biology and Applications. 2024.
  3. A. Salazar. Faithful model reduction of discrete biological systems. PhD Manuscript. ENS-PSL. 2023.
  4. J. Feret, A. Salazar. A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation. 2023 International Conference on Verification, Model Checking, and Abstract Interpretation. 2023.

Teaching

I am a strong proponent to equitable access to quality education.

2025-2026

  • August 2026. Teaching Assistant at Konstanz Summer School, Konstanz, Germany. Organizer: Ahmed El Hady
  • March - June 2026. Lecturer in the Grant writing course at Learning Planet Institute. Organizer: EURIP Graduate School
  • Nov. 2025. Lecturer in the Collective Behaviour (VTK) course at University of Konstanz. Organizers: Liang Li & Iain Couzin

2024-2025

  • March 2025. Teaching Assistant at ICTP-SAIFR, São Paulo, Brazil. Organizers: Ahmed El Hady, Antonio C. Roque, Daniel Y. Takahashi
  • Jan. 2025. Lecturer in the Biorobotics course at University of Konstanz. Organizer: Liang Li
  • Nov. 2024. Lecturer in the Collective Behaviour (VTK) course at University of Konstanz. Organizers: Liang Li & Iain Couzin

I am one of the co-founders of Home Association, a non-profit organization (NGO) educational organization. The focus of the NGO is to train University students with technical and digital skills required in a dynamic job market. Also, we focus on harnessing these skills locally to drive innovation around the sustainable development goals. We have successfully implemented summer schools around our objectives in Ghana, Rwanda, and Senegal. You can learn more about Home Association and its programs here.