Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer
Jens Knoop is a full professor at the Faculty of Informatics at the Vienna University of Technology. He is the managing director (Institutsvorstand) of the Institute of Computer Languages and the head of the group "Programming Languages and Compilers." 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 and verifying 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. He is author or co-author of about 50 refereed and invited papers in journals and conferences. 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.
Jens Knoop serves as an elected member on the Board of the European Association for Programming Languages and Systems (EAPLS), and on the Extended Boards of the European Association of Software Science and Technology (EASST), and on the advisory committee of the European Conference Series on Parallel Processing (Euro-Par). He has previously served on the ACM SIGPLAN Executive Committee as the elected secretary and treasurer, and on the steering committees of the ACM SIGPLAN Conference Series on Programming Language Design and Implementation (PLDI), and the European Joint Conferences on Theory and Practice of Software (ETAPS), and on numerous award committees of the ACM SIGPLAN. Jens Knoop has served on the programme and organization committees of numerous international conferences. He has been the general chair of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002) in Berlin, Germany, and of the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) in Vienna, Austria. Currently, he is involved in organizing the 19th IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) in Vienna, Austria. Jens Knoop is the co-founder of the workshop series on Compiler Optimization meets Compiler Verification (COCV), and has been a co-organizer of four Dagstuhl-Seminars, most recently on verifying optimizing compilation. 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), and the editor of the Software Analysis and Verification Column of the EASTT newsletter.
Jens Knoop is a member of the IFIP Working Group 2.4 on Software Implementation Technology. He is also a member of the ACM, its special interest groups SIGPLAN, SIGSOFT, and SIGBED, the IEEE Computer Society, the GI, the OCG, the EAPLS, EASST, and EATCS.