Alexander Malkis

Alexander Malkis is a Professor in the Institute of Computer Science (I4) at the Technical University of Munich (TUM). His research focuses on software verification, program analysis, concurrency, and privacy/security. He has held academic positions at TUM and the University of Freiburg, where he contributed to teaching and advising students. His work bridges theoretical foundations with practical verification tools.

• Affiliations: Technical University of Munich (since 2016), University of Freiburg (until 2010).
• Research: Specializes in formal methods, concurrency control, and security protocols.

Key research interests include model-checking of multithreaded programs, abstract interpretation, and privacy-enabling architectures. His publications emphasize polynomial algorithms for reachability analysis and Cartesian abstraction techniques.

Notable contributions include co-authoring books on program and system development, and developing verification frameworks like AMTV and XAHA. His work has been presented at conferences such as SAS, CAV, and FMCAD.