基本信息
views: 53

Bio
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.
Research Interests
Papers共 97 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
openalex(2021)
semanticscholar
Cryptography and Security in Computing Systems (2017)
Cited23Views0EIBibtex
23
0
semanticscholar(2016)
Cited0Views0Bibtex
0
0
Object/Component/Service-Oriented Real-Time Distributed Computing Workshopspp.ix-x, (2015)
Martin Schoeberl,Sahar Abbaspour,Benny Akesson,Neil Audsley,Raffaele Capasso,Jamie Garside,Kees Goossens,Sven Goossens,Scott Hansen,Reinhold Heckmann,Stefan Hepp,Benedikt Huber,Alexander Jordan,Evangelia Kasapaki,Jens Knoop,Yonghui Li,Daniel Prokesch,Wolfgang Puffitsch,Peter Puschner,Andre Rocha,Claudio Silva,Jens Sparso, Alessandro Tocchi
JOURNAL OF SYSTEMS ARCHITECTUREno. 9 (2015): 449-471
Cited0Views0EIBibtex
0
0
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I (2014): 386-390
Load More
Author Statistics
#Papers: 96
#Citation: 2973
H-Index: 25
G-Index: 51
Sociability: 5
Diversity: 2
Activity: 0
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn