Andrzej Mizera

photo

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

Research interests