Prof. Dr. Gunnar Teege is a faculty member at the Institute for Computer Engineering within the Faculty of Computer Science at Bundeswehr University Munich. His career spans over two decades, focusing on distributed systems, virtualization, and formal verification of operating system components. He has led numerous research projects, including collaborations with institutions like the Runder Tisch GIS eV and the Bavarian State Office for Surveying and Geoinformation. Education: Diploma in Computer Science from Technical University of Munich (1985), Doctorate in Computer Science from TUM (1991) Affiliations: Member of GI (Gesellschaft für Informatik) and ACM (Association for Computing Machinery) Research interests include formal verification of software components for secure systems, virtualization frameworks, distributed systems, military communications, geospatial data interoperability via OpenGIS standards, computer-supported cooperative work (CSCW), and E-Learning platforms. His work often bridges theoretical and applied domains, particularly in defense IT systems and education technology. He has contributed to projects like Targeteam (XML-based adaptable teaching materials), HoBIT (high-security embedded systems), and MiKscHA (microkernel applications for high-security environments). His publications emphasize modularity, tailorability, and security in software design. Teaching activities at Bundeswehr University Munich include courses on operating systems, distributed systems, virtualization, and cybersecurity. Previously, he taught problem-based learning in computer science at TU Munich and developed virtual lectures for the Virtual University of Bavaria (vhb) from 2001–2005.













