Eric Bodden

Prof. Dr.

Direktor Forschungsbereich Softwaretechnik und IT-Sicherheit

Prof. Dr. Eric Bodden
© Fraunhofer IEM
Prof. Dr. Eric Bodden

Eric Bodden studierte von 2000 bis 2005 Informatik an der RWTH Aachen und absolvierte dabei 2002/2003 ein Auslandsjahr an der University of Kent at Canterbury. In den Jahren 2006-2009 promovierte er bei Prof. Laurie Hendren an der McGill University in Montréal, Québec. Danach verbrachte er sechs Jahre in Darmstadt, zunächst als wissenschaftlicher Mitarbeiter in der Forschungsgruppe von Prof. Mira Mezini, später dann als Leiter einer Emmy Noether-Nachwuchsgruppe und Claude Shannon-Nachwuchsgruppe am European Center for Security and Privacy by Design (EC SPRIDE). Von 2013-2015 hatte Prof. Bodden eine Kooperationsprofessur beim Fraunhofer-Institut für Sichere Informationstechnologie (SIT) und der TU Darmstadt inne. Der TU bleibt Prof. Bodden als Principal Investigator des dortigen Sonderforschungsbereichs »CROSSING« weiterhin verbunden.

Seit 2016 ist Prof. Bodden Leiter des Lehrstuhls »Secure Software Engineering« am Heinz Nixdorf Institut der Universität Paderborn und ist einer von drei Direktoren des Fraunhofer IEM. Neben seiner Leitungsfunktion unterhält er am Fraunhofer IEM auch die Forschungsgruppe »Secure Software Engineering« im Rahmen des Attract-Programms der Fraunhofer-Gesellschaft. Mit Attract fördert Fraunhofer spezielle high-risk/high-gain-Projekte unter der Leitung ausgezeichneter aufstrebender Forscher.

Prof. Bodden ist Mitglied des BITKOM Managements Clubs, der ACM und der Gesellschaft für Informatik. Seine Forschung wurde bereits mehrfach prominent ausgezeichnet. Bereits im Jahr 2005 gewann er mit dem Thema seiner Diplomarbeit die weltweite ACM Student Research Competition. Im Jahr 2014 wurde Prof. Bodden mit dem Heinz Maier-Leibnitz-Preis der Deutschen Forschungsgemeinschaft ausgezeichnet, dem höchstdotierten Forschungspreis für deutsche Nachwuchswissenschaftler. Im selben Jahr gewann sein Forschungsprojekt zur Analyse von Softwareproduktlinien den zweiten Platz beim Deutschen IT-Sicherheitspreis und die Zeitschrift »Capital« listete ihn als einen der »Top 40 unter 40« deutschen Wissenschaftler. Hinzu kommen mehrere Forschungspreise der Unternehmen Google und Oracle sowie Distinguished Paper Awards der ACM.

Studium/akademisch-berufliche Stationen

2000-2005 RWTH Aachen, Studium der Informatik
Abschluss: Diplom (mit Auszeichnung)
2002-2003 Auslandsaufenthalt an der University of Kent at Canterbury im Rahmen des ERASMUS-Programms
2006-2009
McGill University, Montréal, Québec, Kanada
Dissertation: »Verifying finite-state properties of large-scale programs«
2009-2011 Technische Universität Darmstadt
Wissenschaftlicher Mitarbeiter am Lehrstuhl für Softwaretechnik (Prof. Mira Mezini)
2011-2015
Leiter einer Claude Shannon-Nachwuchsforschungsgruppe
zum Thema »Secure Software Engineering« am European Center for Security and Privacy by Design (EC SPRIDE)
seit 2012 Leiter der Emmy Noether-Nachwuchsforschungsgruppe »Provably secure program executions through declaratively defined dynamic program analyses« (RUNSECURE)
seit 2016 Heinz Nixdorf Institut, Universität Paderborn
Professor für Secure Software Engineering
seit 2016 Fraunhofer IEM, Paderborn
Direktor Softwaretechnik und IT-Sicherheit

Preise, Auszeichnungen und Patente

Apr 2024 ERC Advanced Grant, on Self-Optimizing Static Analysis
Mar 2024 Distinguished Reviewer Award at International Conference on Software Engineering (ICSE)
Nov 2023 Elected member of the Review Board Software Engineering of the German Research Foundation (DFG)
Oct 2023 Elected member of acatech - National academy of science and engineering
Oct 2022 Best Paper Award for paper “To what extent can we analyze Kotlin programs using existing Java taint analysis tools?” at SCAM 2022, Engineering Track
June 2022 Scout in the Henriette Herz Scouting Program of the Alexander von Humboldt Foundation
March 2021 Amazon Research Award
Aug 2020 ASE 2020 Distinguished PC Member Award
Oct 2019 ACM Distinguished Member

March 2019

Distinguished Reviewer Award at Wiley Software Practice and Experience

Feb 2019

CM SIGPLAN Distinguished Paper Award for paper »Context-, Flow-, and-sensitive Data-flow Analysis Using Synchronized Pushdown Systems« at the2019 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’19)
Oct 2018

Oracle Collaborative Research Award

Oct 2018 ACM  SIGSOFT  Distinguished  Paper  Award for  paper  »Do  Android  Taint Analysis Tools Keep their Promises?« at the Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’18)

Aug 2017

Oracle Collaborative Research Award

Apr 2017

Oracle Collaborative Research Award

July 2017

ACM SIGSOFT Distinguished Paper Award for paper »Just-in-Time Analysis« at the 2012 International Symposium on Software Testing and Analysis (ISSTA’17)

June 2016 PLDI Student Research Competition Ph. D. Student Lisa Nguyen

Oct 2016

Deutscher IT-Sicherheitspreis

1st place (100,000 EUR) for research Harvesting Runtime Values from Obfuscated Android Applications

Sep 2016

Distinguished Reviewer Award at International Conference on Automated Software Engineering (ASE'16)
June 2016 Best Paper Award at the 2016 Spanish Cybersecurity Days (Jornadas Nacionales de Investigacion en Ciberseguridad) for the CSE'15 paper on Mining Apps forAbnormal Usage of Sensitive Data  

May 2016

Distinguished Reviewer Award at International Conference on Software Engineering (ICSE'16)

Weitere Aktivitäten im wissenschaftlichen Umfeld

2016 Leiter des Programmkomitees der ACM International Conference for Software Testing and Analysis (ISSTA)
2016 Leiter des Programmkomitees des ACM International Symposium on Engineering Secure Software and Systems (ESSoS)
  Mitglied der höchstrangingen internationalen wissenschaftlichen Konferenzen in der Softwaretechnik (z.B. ICSE, ISSTA, PLDI, ASE)
  Mitglied des Advisory Boards, Projekt »Compositional Risk Assessment and Security Testing of Networked Systems« (RASEN), EU FP7
  Gutachter für zahlreiche wissenschaftliche Fachzeitschriften sowie für Horizon 2020 / European Research Council, Luxembourg National Research Fund (FNR), Research Grant Council (RGC) of Hong Kong
  Scientific Advisor of Sourcebella Inc.
  Editorial Board Member of Springer Empirical Software Engineering (EMSE)
  Member of the BITKOM Management Club
  Member of the Exchange circle Secure Software Engineering of the Federal Office for Information Security (BSI)
  Guest Editor of Special Issue on Runtime Verification for Springer Transactions on Aspect-Oriented Software Development (TAOSD)
  Associate Editor of the IEEE Transactions on Software Engineering (TSE)
  Editorial Board Member of the IEEE Transactions on Software Engineering
  Steering committee member of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  Steering committee member of the International Workshop on Dynamic Analysis (WODA)
  Steering committee member of the International Workshop on the State Of the Art in Java Program Analysis (SOAP), also co-founder of the Workshop
  Program chair of the International Symposium on Software Testing and Analysis (ISSTA) 2018
  Program chair of the Software Engineering Conference of the German Gesellschaft für Informatik, GI (SE) 2018
  Expert Reviewer, Software Security Knowledge Area, Cyber Security Body of Knowledge project
  Reviewer of Grant Proposals for the Deutsche Forschungsgemeinschaft (DFG)
  Reviewer of Grant Proposals for Horizon 2020 / European Research Council
  Reviewer for a variety of journals (ACM, IEEE, Springer et.al.)
  Deputy Speaker of IT-Security Graduate School NERD.NRW
  Co-Organizer: Program Analysis Hackathon \Panathon" at ECOOP/ISSTA 2018
  Co-Organizer: Dagstuhl Seminar 18034, Software Engineering Research Methods, January 2018
  IEEE Secure Development Conference (SecDev) 2024, PC Chair
  IEEE Secure Development Conference (SecDev) 2023, PC Co-Chair
  International Symposium on Software Testing and Analysis (ISSTA) 2018
  Software Engineering Conference of the German Gesellschaft für Informatik, GI (SE) 2018
  International Symposium on Engineering Secure Software and Systems (ESSOS), 2017 (co-chair together with Mathias Payer)
  Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) 2017 (general co-chair)
  Dagstuhl Seminar 18034, Software Engineering Research Methods, January 2018 (co-organizer)
  Program Analysis Hackathon “Panathon” at ECOOP/ISSTA 2018 (co-organizer)
  Doctoral Symposium at ECOOP/ISSTA 2020 (co-organizer)
  Dagstuhl seminar 23181 on ”Empirical Evaluation of Secure Development Processes” (co-organizer), 2023
  Chair of selection committee for the Ernst Denert Software Engineering Prize, 2024
  Deputy speaker of IT-Security Graduate School NERD.NRW (since 2018)
  Guest Editor for the Open Continuous Special Section on Security and SE at the ACM Transactions on Software Engineering and Methodology (TOSEM), since 2020
  Associate Editor of the ACM Transactions on Software Engineering and Methodology (TOSEM), since 2020
  International Conference on Software Engineering (ICSE) 2024
  Symposium on Principles of Programming Languages (POPL 2023) - external reviewer
  Software Engineering Conference of the German Gesellschaft für Informatik, GI (SE) 2023
  International Conference on Software Engineering (ICSE) 2023
  IEEE Secure Development Conference (SecDev), 2022
  Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) 2022
  2022 IEEE Symposium on Security and Privacy (“Oakland”)
  International Conference on Software Engineering (ICSE) 2022
  International Conference on Automated Software Engineering (ASE), 2022
  IEEE Secure Development Conference (SecDev), 2021
  2021 IEEE Symposium on Security and Privacy (“Oakland”)
  European Conference on Object-Oriented Programming (ECOOP) 2021
  International Conference on Software Engineering (ICSE) 2021: area chair for security, privacy and trust
  International Conference on Automated Software Engineering (ASE), 2020
  International Symposium on Software Testing and Analysis (ISSTA) 2020
  International Conference on Software Testing, Validation, and Verification (ICST) 2020
  International Conference on Runtime Verification (RV) 2019
  Software Engineering Conference of the German Gesellschaft für Informatik, GI (SE) 2019
  International Conference on Programming Languages, Design and Implementation
(PLDI) 2019, external PC
  International Conference on Software Engineering (ICSE) 2019, Program Board
  International Conference on Automated Software Engineering (ASE), 2018
  International Conference on Runtime Verification (RV) 2018
  European Workshop on Usable Security (EuroUSEC), 2018
  GI SICHERHEIT, 2018
  Heise devSec, 2018

FH Dortmund, Prof. S. Sachweh, Prof. M. Hirsch, Stefan Henkler
TU Darmstadt Prof. Mira Mezini
Hasso-Plattner-Institut Potsdam, Deutschland, Prof. H. Giese
KIT und FZI Forschungszentrum Karlsruhe, Prof. R. Reussner
Mälardalen Universität, Schweden, Prof. S. Punnekkat
Technische Universität Darmstadt, FG Real-Time Systems, Darmstadt, Deutschland
Prof. A. Schürr und Prof. Heiko Mantel, Informatik
Universität aus Banja Luka, Bosnien und Herzegowina Prof. Dr. Petar Maric
Universität aus Belgrad, Republik Serbien, Prof. Dr. Blagoje Paunovic
Universität Chemnitz, Prof. Dr.-Ing. Steffen Becker
Universität Hannover, Prof. J. Greenyer
Universität Kassel, Prof. A. Zündorf
Universität Ulm, Prof. Dr. M. Tichy
Staatsuniversität „Montenegro“ aus Podgorica, Prof. Dr. Andjelko Lojpur
Universität aus Sarajevo, Bosnien und Herzegowina, Prof. Dr. Samim Konjicija
Universität „St. Kyrill und Method“ aus Skopje, Mazedonien, Meri Cvetkovska
Universität aus Tirana, Albanien, Prof. Dr. Dhori Kule
Universität Zagreb, Kroatien, Prof. M. Zagar Scientific Cooperations
Delft University of Technology, Arie van Deursen
The Open University, Andreas Zisman and Amel Bennaceur
Paderborn University, Germany, Gregor Engels, Wilhelm Schäfer and Heike Wehrheim
ABB Corporate Research, USA, David Shepherd
Vrije Universiteit, The Netherlands, Patricia Lago
University of Alberta, Canada, Karim Ali
Concordia University, Canada, Peter Rigby
Iowa State University, USA, Wei Le
Saarland University, Germany, Andreas Zeller
Polytechnique Montreal, Canada, Bram Adams
University of Lugano, Swiss, Walter Binder
Microsoft, USA, Michaela Greiler
Otto-von-Guericke University Magdeburg, Sandro Schultze
University of Chile, Santiago Chile, Alexandre Bergel
NC State University, Raleigh, USA, William Enck
IMDEA  Madrid, Spanien, Alessandra Gorla
NC State University, Raleigh, USA, Albert Gorski
McGill University, Montreal, Canada, Laurie Hendren
Carnegie Mellon University, Pittsburgh, USA, Christian Kästner
SnT Universität Luxembourg, Luxembourg, Jaques Klein
SnT Universität Luxembourg, Luxembourg, Yves La Traon
Penn State University, University Park, USA, Patrick McDaniel
Northeastern University, Boston, MA, USA, Frank Tip
Microsoft Research, Redmond, USA, Ben Livshits
NC State University, Raleigh, USA, Emerson Murphy-Hill
University of Alberta, Edmonton, Canada, Karim Ali
University of Alberta, Edmonton, Canada, Sarah Nadi
Google Inc., Mountain View, USA, Domagoj Babic
Oracle Inc., Boston, MA, USA, Denis Pilipchuk
Oracle Labs, Brisbane, Australia, Cristina Cifuentes
University of Campinas, Campinas, Brasil, Ricardo Dahab
University of Campinas, Campinas, Brasil, Alexandra Braga
Google Inc., Zurich, Switzerland, Lisa Nguyen
University of Oslo, Oslo, Norwegen, Martin Steffen
University of Bergen, Bergen, Norwegen, Volker Stolz
University of Oslo, Oslo, Norwegen, Pun Ka I
Purdue University, West Lafayette, IN, USA, Mathias Payer

3 Fragen an Prof. Bodden

Prof. Dr. Eric Bodden spricht bei »3 Fragen an...« des Instituts für Informatik über das Werkzeug »CogniCrypt« und verrät sein Lebensmotto.