WQCES-2026

Csaba Biró is an associate professor at the Faculty of Informatics of Eszterházy Károly University and a researcher at the Faculty of Informatics, Eötvös Loránd University. His work is centered on the intersection of formal methods, graph theory, and quantum computing. In recent years, quantum architectures and algorithms have been investigated through the use of mathematical logic, SAT solving, and graph-based approaches. Current research directions include the development of k-hop entropy metrics for the analysis of complex networks and the application of ZX-calculus for the verification and simplification of quantum circuits. He has also contributed to quantum computing education, designing curricula that integrate quantum theory with computer science and mathematics at both undergraduate and graduate levels. These research and educational activities aim to support the development of reliable and scalable quantum technologies.