<b><font color="black">Filip Mazurek</font></b>

Latest

• Rigorous Evaluation of Computer Processors with Statistical Model Checking
• Modular Architecture for Classical Simulation of Quantum Circuits