Ulrich Neumerkel

Ulrich Neumerkel is an Assistant Professor in the Department of Compilers and Languages at Technische Universität Wien (TU Wien). He holds academic titles of Dipl.-Ing. (FH) and Dr.techn. His primary research focuses on programming languages, logic programming, and constraint programming, with significant contributions to Prolog optimization, garbage collection, and formal methods. He is also actively involved in educational initiatives, developing declarative programming tools and curricula.

Neumerkel teaches courses such as Logic Programming and Constraints, Advanced Logic Programming, and Programming 2. He leads research in formal semantics of Prolog, constraint solver design, and memory management techniques. His work includes contributions to ISO/IEC Prolog standards and the development of tools like the Vienna Abstract Machine (VAM) and the GUPU environment for Prolog education.

His research interests span compiler design, termination analysis, and program transformation. He has supervised students, including M. Seidl, on diploma theses related to virtual machine comparison and other topics. Neumerkel's affiliations include the Compilers and Languages group within TU Wien's Institute for Information Systems Engineering.