Jaco is a Professor of Computer Science at Aarhus University and co-leader of Quantum Campus Aarhus. His research spans formal methods, model checking, and quantum circuit optimization. Since 2022, he has focused on classical solvers for quantum circuit minimization, with publications in leading venues like ICCAD and SAT. He leads the QoptiQ project for optimal quantum circuits through the Danish Quantum Algorithm Academy. Previously, he developed the award-winning LTSmin toolset for high-performance model checking and held positions at University of Twente and CWI Amsterdam.