Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer
Jens Knoop is a full professor at the faculty of computer science of the Vienna University of Technology. He is the managing director (Institutsvorstand) of the Institute of Computer Languages and the head of the group of "Programming Languages and Compiler Construction." He has previously held positions at the universities of Hagen, Dortmund, Oldenburg, Passau, and Kiel, Germany. His research interests include programming languages and their compilers with emphasis on tools, formal methods, and algorithms for program analysis and optimizing compilation for general purpose architectures and embedded systems.
Jens Knoop received a Diploma degree in computer science and a PhD degree from the Christian-Albrechts-Universität Kiel, Germany. His PhD thesis on "Optimal interprocedural program optimization: A new framework and its application" has been published in the LNCS Tutorial Series of Springer-Verlag. He is (co-) author of more than 40 refereed papers in journals and conferences.
Jens Knoop is a member of the IFIP Working Group 2.4 on Software Implementation Technology. He is the elected secretary and treasurer of the ACM SIGPLAN Executive Committee, and serves as a member of the steering committee of the ACM SIGPLAN Conference Series on Programming Language Design and Implementation (PLDI), and of the advisory committee of the European Conference Series on Parallel Processing (Euro-Par). He has has been the general chair of the ACM SIGPLAN 2002 PLDI conference in Berlin, and he has served on several international programme committees and award committees of the ACM SIGPLAN. He is the co-founder of the workshop series on Compiler Optimization meets Compiler Verification (COCV), and has been a co-organizer of various Dagstuhl-Seminars. He is a member of the editorial board of the Formal Methods Letter, a special section of the International Journal on Software Tools for Technology Transfer (STTT, Springer). He is a member of the ACM, its special interest group on programming languages SIGPLAN, the IEEE Computer Society, the GI, the OCG, the EAPLS, EATCS, and EASST.