WQCES-2026

Prof. Dr. Adrianna Alexander is a professor of computer science at the University of Applied Sciences Berlin, specializing in software development, software engineering, theoretical computer science, and foundations of quantum computing with a focus on cryptography. She received her doctorate in the field of formal methods, where her research centered on the development of a logic-based specification language for describing software systems. Following her academic training, she spent many years in the automotive industry, working in model-based software development. During this time, she applied and further developed her expertise in model-based approaches to system specification within large-scale, real-world engineering contexts, contributing to the reliable design of complex software systems. Her transition back into academia allowed her to combine her industrial experience with her research background in her teaching and academic work. Her current interests focus on quantum computing from a software and algorithmic perspective, particularly on the design and formal analysis of quantum algorithms for cryptographic applications.