Jaco van de Pol

A look into Parametric Timed Games and their applications in real-time systems.

A new method improves mapping of quantum circuits onto processors.

Discover methods to improve CNOT circuit efficiency and reduce errors in quantum computing.