Prof. Dr.-Ing. Thomas Thüm

Biography

Thomas Thüm is leading the Institute of Software Engineering and Automotive Informatics at TU Braunschweig since October 2024. His research interests range from Software Engineering and Formal Methods to Artificial Intelligence and Automotive Systems. In particular, his research focuses on variability and evolution of software systems. He has been a professor at Paderborn University in 2024 and at the University of Ulm from 2020 to 2024. Before, he was a postdoctoral researcher at the TU Braunschweig in Ina Schaefer’s institute. He received his Ph.D. in 2015 from the University of Magdeburg under the supervision of Gunter Saake. His Ph.D. thesis received the Dissertation Award 2015 of the University of Magdeburg and his master’s thesis the Software Engineering Award 2011 of the Ernst Denert Foundation. His bachelor's thesis was published at the International Conference on Software Engineering and received the SPLC Most Influential Paper Award. He coauthored more than 150 peer-reviewed publications and is known for his contributions to the famous open-source project FeatureIDE. Since 2020, he is an associate editor for ACM Transactions on Software Engineering and Methodology (TOSEM).

Favorite Quote

“People have an enormous tendency to resist change. They love to say, 'We've always done it this way.' I try to fight that.” - Grace Hopper

Research Interests

• Software and product configuration, software product lines (SPL), feature-oriented software development (FOSD)
• Variability modeling, feature models, feature interactions, separation of concerns, explanations
• Behavioral interface specification languages, design by contract, behavioral subtyping, framing
• Deductive verification, software model checking, combinatorial interaction testing
• Satisfiability (SAT) solving, satisfiability modulo theory (SMT) solving, binary decision diagrams (BDD)

Program Committees

• Int’l Conf. on Software Engineering (Technical Track): ICSE 2026, ICSE 2023, ICSE 2020, ICSE 2019
• Int’l Workshop on Languages for Modelling Variability: MODEVAR@SPLC 2025, MODEVAR@SPLC 2024, MODEVAR@SPLC 2022
• Int’l Systems and Software Product Line Conference (Research Track): SPLC 2025, SPLC 2024, SPLC 2023, SPLC 2022, SPLC 2021, SPLC 2020, SPLC 2019, SPLC 2018, SPLC 2017
• Int’l Conf. on the Foundations of Software Engineering (Research Track): FSE 2025, FSE 2024
• Int’l Workshop on Languages for Modelling Variability: MODEVAR@VaMoS 2024
• Int’l Conf. on Variability Modelling of Software-Intensive Systems: VaMoS 2024, VaMoS 2022, VaMoS 2021, VaMoS 2019, VaMoS 2018, VaMoS 2012
• Workshop on Trends in Configurable System Analysis: TiCSA 2023
• Int’l Conf. on Evaluation and Assessment in Software Engineering (Research Track): EASE 2023
• Workshop on Quantitative Aspects of Variant-Rich Systems: QAVS 2022, QVAS 2021
• Workshop on Automotive Software Engineering: ASE-W 2022, ASE-W 2021
• Int’l Conf. on Generative Programming: Concepts & Experiences: GPCE 2021
• International Workshop on Languages for Modelling Variability: MODEVAR 2020, MODEVAR 2020, MODEVAR 2019
• Variability and Software Product Line Engineering Track at Symposium on Applied Computing: VSPLE 2018
• Int’l Workshop on Feature-Oriented Software Development: FOSD 2017, FOSD 2011, FOSD 2010
• Int’l Workshop on Combinatorial Testing and its Applications: CTA 2017
• Int’l Conf. on Generative Programming: Concepts & Experiences: GPCE 2017
• Workshop on Live Adaptation of Software SYstems: LASSY 2017
• Workshop on Foundations of Aspect-Oriented Languages: FOAL 2016
• Workshop on Eclipse Technology eXchange: ETX 2015, ETX 2014
• ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop PC): SPLASH 2015
• Workshop on Formal Methods and Analysis in Software Product Line Engineering: FMSPLE 2015

Publikationen

Bitte besuchen Sie auch meine alte Webseite an der Universität Ulm für eine Liste der Publikationen.