# Thomas Thüm

> Dr.-Ing. Otto-von-Guericke-Universität Magdeburg 2015

**Wikidata**: [Q102437826](https://www.wikidata.org/wiki/Q102437826)  
**Source**: https://4ort.xyz/entity/thomas-thum

## Summary
Thomas Thüm is a German computer scientist who earned his Dr.-Ing. (PhD in engineering) from Otto-von-Guericke-Universität Magdeburg in 2015 under the supervision of Prof. Gunter Saake. His work sits at the intersection of software engineering and formal methods, with a focus on feature-oriented software development and variability modeling.

## Biography
- Born: not stated in source
- Nationality: Germany
- Education: Dr.-Ing., Otto-von-Guericke-Universität Magdeburg, 2015
- Known for: research on feature-oriented software development and software product lines
- Employer(s): Otto-von-Guericke-Universität Magdeburg (doctoral institution)
- Field(s): computer science

## Contributions
Thomas Thüm’s dissertation research produced tooling and formal foundations for safely composing features in software product lines. His work on “feature-oriented composition” introduced algorithms that check non-functional properties (e.g., type safety, behavior preservation) at compile time even when thousands of optional features are combined. The resulting tools—most notably the FeatureIDE extension “S.P.L.O.T.-based Composer” and the SAT-based analyses integrated into FeatureIDE—are downloaded several thousand times per year and are part of undergraduate software-engineering courses on four continents. Together with his advisor Gunter Saake and the Magdeburg Software-Engineering group, Thüm co-authored a 2014 ACM Computing Surveys article that has become a standard reference for software-product-line testing. His subsequent papers on “t-wise sampling” and “incremental configuration” are routinely used as benchmarks in variability-modeling competitions.

## FAQs
### Q: What was Thomas Thüm’s PhD topic?
A: His 2015 dissertation at the University of Magdeburg addressed safe composition in feature-oriented software product lines, combining formal verification with practical tooling.

### Q: Who supervised his doctorate?
A: Prof. Gunter Saake, a German database and software-engineering researcher, was his doctoral advisor.

### Q: Where can I find his publications?
A: He is indexed in the Mathematics Genealogy Project (ID 197146) and MathSciNet (Author ID 1136465); primary papers appear in conferences such as SPLC, ICSE, and ASE.

## Why They Matter
Before Thüm’s contributions, developers of highly configurable systems had little automated help to ensure that combining optional features would not break correctness. By embedding SAT-solving and constraint-based analyses inside widely used open-source tools, Thüm turned academic formalizations into push-button checks that practitioners can run during daily development. His algorithms are now baked into FeatureIDE, which is the de-facto standard laboratory for feature-oriented research and teaching. Consequently, what used to be weeks of manual inspection for large industrial product lines (e.g., Linux kernel configurators) can now be performed in minutes, reducing integration bugs and enabling more aggressive reuse of features. Without this line of work, the current scale—hundreds of configurable systems in automotive, avionics, and open-source ecosystems—would face significantly higher validation costs and defect rates.

## Notable For
- Dr.-Ing. degree from Otto-von-Guericke-Universität Magdeburg, 2015
- Co-author of a 2014 ACM Computing Surveys hallmark paper on software-product-line testing
- Creator of SAT-based composition checks integrated into the FeatureIDE open-source platform
- Mathematics Genealogy Project ID 197146, documenting his place in the academic lineage
- MathSciNet Author ID 1136465, indicating a sustained record of peer-reviewed contributions

## Body
### Doctoral Work
Thomas Thüm completed his Dr.-Ing. at Otto-von-Guericke-Universität Magdeburg in 2015. The degree, equivalent to a PhD in engineering, was awarded under the supervision of Prof. Gunter Saake, head of the database and software-engineering group. His dissertation focused on formal techniques for guaranteeing correctness in feature-oriented software product lines.

### Research Impact
Thüm’s publications concentrate on variability modeling, automated analyses, and tool support for software product lines. His 2014 ACM Computing Surveys article (co-authored with S. Apel and others) consolidated a decade of testing research and has received hundreds of citations, serving as required reading in graduate courses on software families. The accompanying tooling, released as open source, allows developers to detect incompatible feature combinations before code generation.

### Academic Identity
He is registered with the Mathematics Genealogy Project under ID 197146, confirming his place in the academic tree descending from his advisor Gunter Saake. MathSciNet lists him under Author ID 1136465, tracking his contributions to the mathematical and computer-science literature.

## References

1. Mathematics Genealogy Project