Morten Konggaard Schou

Morten Konggaard Schou is an Assistant Professor at the Department of Computer Science, Aalborg University, Denmark. His primary affiliation is with the Distributed, Embedded and Intelligent Systems group within The Technical Faculty of IT and Design. His research focuses on network verification, resilient networks, and formal methods applied to networking challenges such as ISP network analysis, MPLS protocols, and pushdown systems. He has contributed to tools like AalWiNes and PDAAAL, which address network reachability and resilience.

Key research interests include quantitative verification of network systems, automated discovery of flow splitting ratios in ISP networks, and formal verification of pushdown systems. His work bridges theoretical computer science with practical network engineering, emphasizing fault tolerance and dependability in telecommunications infrastructure. He has published extensively in venues like IEEE Pacific Rim International Symposium on Dependable Computing and the Archive of Formal Proofs.

Collaborations span academic and industry standards, with datasets deposited on Zenodo supporting reproducibility of his research. His 2023 PhD thesis, 'Quantitative Verification and Synthesis of Resilient Networks,' underpins much of his current work. He actively contributes to open-source tools for network analysis and formal methods validation.