Short Biography

Andreas Krall is a retired Professor of Computer Science at the Vienna University of Technology. His research lies in the area of compilers, virtual machines, logic programming, programming languages and computer architecture, where he has published more than 100 technical papers. He is well known for his work on dynamic compilation within the CACAO Java Virtual Machine and the Vienna Abstract Machine, an abstract machine for logic programming. Since his retirement his research focuses on compiler and processor specification and verification with the open source implementation of the Vienna Architecture Description Language. For seven years he led the Christian Doppler research laboratory "Compilation Techniques for Embedded Processors" which was jointly funded by industry and government. He was visiting professor at the University of Geneva, Switzerland, the TU Chemnitz, Germany, and the University of Sydney, Australia. For his contributions in the field of logic programming he received the Heinz Zemanek award of the Austrian Computer Society. Professor Krall received his Ph.D. from the Vienna University of Technology.