Andrzej Mizera

photo

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

Research interests