Log in with your university's account to access password-protected areas.
Room: ZT 906
My research combines techniques from formal methods, mechanistic modeling, and data science to investigate biological systems at varying levels of granularity.
