Regular biography
Petros Wallden is a Reader in the Department of Computer Science at The University of Edinburgh. His research interests include areas such as formal methods, concurrency, and program verification. He is affiliated with the university's Computer Science department and can be contacted via email at petros.wallden@ed.ac.uk. His academic profile is available at https://www.ed.ac.uk/Petros_Wallden.html.
Scholar-generated biography
Petros Wallden is a researcher at The University of Edinburgh with expertise in Quantum Physics, Quantum Cryptography, Quantum Information & Computation, Quantum Technologies, and Foundations. His work explores secure quantum communication protocols, quantum digital signatures, and verifiable blind quantum computing. Wallden's research addresses the challenges of quantum cryptography, including the development of quantum key distribution components and secure quantum signatures using insecure quantum channels. He also investigates foundational aspects of quantum mechanics, such as quantum steering and causal order, with applications in quantum gravity and discrete spacetime models. His contributions span both theoretical and experimental advancements in quantum technologies.