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, Austria. He is the head of the group Programming Languages and Compilers and the vice managing director (Stv.Institutsvorstand) of the Institute of Computer Languages as whose head he has served from 2004-2012. He has previously held positions at the universities of Hagen, Dortmund, Oldenburg, Passau, and Kiel, Germany. His research interests include programming languages and compilers with an emphasis on formal methods, tools and algorithms for static analysis, verification, optimizing and verifying compilation for high-performance and real-time computing, general purpose and embedded processors and 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 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), on the Extended Boards of the European Association of Software Science and Technology (EASST), and on the Extended Boards of the Austrian Computer Society (OCG). He has previously served as the elected secretary and treasurer on the ACM SIGPLAN Executive Committee, and on several award committees of the ACM SIGPLAN.
Jens Knoop has served on the steering, programme, and organization committees of numerous international conferences and conference series. He served as the general chair of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), Berlin, Germany, and of the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006), Vienna, Austria. He served 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). Jens Knoop is the co-founder of the annual 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.
Jens Knoop 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, a member of the ACM, its special interest groups SIGPLAN, SIGSOFT, and SIGBED, the IEEE, the IEEE Computer Society, the GI, the OCG, the EAPLS, EASST, and EATCS.