Andrzej Mizera

photo

I am a PostDoc at the University of Luxembourg, within the Security and Trust of Software Systems (SaToSS) research group. My research is focused on the development and application of formal methods in systems biology.

Research interests