Albin Salazar

Registered user since Thu 5 Jan 2023

Name:Albin Salazar
Bio:

I am a PhD candidate in the Antique team at Inria-Paris and hosted at ENS-PSL, under the supervision of Jérôme Feret. My work focuses on developing faithful model reduction techniques for stochastic chemical reaction networks.

I have a Master’s degree in Systems and Synthetic Biology from the Université Paris Cité (formerly Université Paris-Descartes) and a Bachelor’s degree in Chemistry with minors in Physics and Mathematics from Southern Connecticut State University. The intersection of my academic backgrounds entails a strong research interest in developing techniques for modeling and simulating complex physical processes.

Currently, I am searching for post-doc opportunities at the intersection of formal methods, machine learning and biology.

Country:France
Affiliation:INRIA/CNRS/ENS/PSL*
Research interests:Abstract interpretation, Systems Biology

Contributions

VMCAI 2023 A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
Show activities from other conferences

POPL 2023-profile
View general profile