Committed Teacher. Wannabe Mathematician. Academic Vagabond.

About Me

I'm a postdoctoral researcher at the Centre for the Advanced Study of Collective Behaviour. 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

  • Dec. 2024 - Feb. 2025. Visiting researcher at CNR-ISTC, Rome, Italy.
  • May 2024. Invited Speaker at University of Trieste, Trieste, Italy.
  • May 2024. Youth in High Dimensions & Advanced AI Summer School at ICTP, Trieste, Italy.

Publications

  1. 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.
  2. A. Salazar. Faithful model reduction of discrete biological systems. PhD Manuscript. ENS-PSL. 2023.
  3. 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.

2024-2025

  • March 2024. 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.