Regular biography
Chris Heunen is the Chair of Quantum Programming at The University of Edinburgh, Department of Computer Science. His research focuses on quantum programming and related areas. He can be contacted via email at Chris.Heunen@ed.ac.uk, and his profile is available at https://www.ed.ac.uk/Chris_Heunen.html.
Scholar-generated biography
Chris Heunen is a researcher at the University of Edinburgh, specializing in Category theory, Foundations of Quantum Informatics, Operator algebra, and Probabilistic programming. His work explores the intersection of category theory with quantum mechanics, focusing on categorical frameworks for quantum theory and probabilistic programming. He has contributed to the development of categorical semantics for quantum and classical channels, as well as the formalization of higher-order probability theory. His research also includes the application of category theory to quantum logic and the semantics of probabilistic programming languages. Heunen's publications often emphasize the use of topos theory, Frobenius algebras, and dagger categories in quantum information science.