Andreas Krall

Andreas Krall is an Associate Professor in the Department of Software Technology at TU Wien's Faculty of Informatics. He holds roles as Curriculum Coordinator for the Bachelor Informatics and Bachelor Software and Information Engineering programs, and serves as a Substitute Member of the Curriculum Commission for Informatics. His research focuses on compiler design, architecture description languages (e.g., VADL), and formal methods for ensuring correctness in compiler-processor co-design.

Key research areas include computer architecture, compiler verification, embedded systems, and the development of tools for processor simulation and optimization. Krall has led projects such as 'Correct Compilers for Correct Processors' (2010–2015) and contributed to the CACAO JVM project. He has published extensively on topics like instruction selection, abstract state machines (CASM), and SSA-based optimizations.

Notable awards include the Heinz Zemanek Preis (1987). His work spans over 30 years, with contributions to both academic research and industry-relevant tools like the VADL architecture description framework. Krall has advised numerous students in topics ranging from compiler backends to garbage collection algorithms.