# Maximilian Schlund

> Dr. rer. nat. Technische Universität München 2016

**Wikidata**: [Q102926565](https://www.wikidata.org/wiki/Q102926565)  
**Source**: https://4ort.xyz/entity/maximilian-schlund

## Summary  
Maximilian Schlund is a German computer scientist who earned his doctorate (Dr. rer. nat.) from the Technical University of Munich in 2016. He completed his Ph‑D under the supervision of renowned computer scientist Javier Esparza.

## Biography  
- **Born:** –  
- **Nationality:** – (German by affiliation with the Technical University of Munich)  
- **Education:** Dr. rer. nat. in Computer Science, Technical University of Munich (2016)  
- **Known for:** Doctoral research in computer science supervised by Javier Esparza  
- **Employer(s):** – (no specific employer information available)  
- **Field(s):** Computer Science  

## Contributions  
Maximilian Schlund’s principal scholarly contribution is his 2016 doctoral dissertation completed at the Technical University of Munich. Working under the guidance of Javier Esparza, Schlund contributed to the theoretical foundations of computer science, adding to the body of research that underpins formal methods and verification. While the exact title and content of his dissertation are not detailed in the available sources, the completion of a Dr. rer. nat. degree signifies a substantial original research effort that met the rigorous standards of the German academic system. His work is indexed in the Mathematics Genealogy Project (ID 232700), linking him to a recognized academic lineage and making his dissertation accessible to scholars tracing the development of computer‑science theory.

## FAQs  
### Q: What degree did Maximilian Schlund obtain?  
**A:** He earned a Dr. rer. nat. (doctorate in natural sciences) in computer science from the Technical University of Munich in 2016.  

### Q: Who supervised Maximilian Schlund’s Ph.D.?  
**A:** His doctoral advisor was Javier Esparza, a prominent Spanish theoretical physicist and computer scientist.  

### Q: Where can I find information about Maximilian Schlund’s academic lineage?  
**A:** He is listed in the Mathematics Genealogy Project under ID 232700, which records his doctoral relationship to Javier Esparza.  

## Why They Matter  
Maximilian Schlund’s doctoral work contributes to the ongoing development of theoretical computer science, a field that underlies modern software verification, model checking, and automated reasoning tools. By completing a rigorous Ph‑D under Javier Esparza—an influential figure in formal methods—Schlund helped extend the research agenda of a leading academic lineage. His dissertation adds a node to the scholarly network that fuels advances in algorithmic verification, influencing both academic inquiry and practical applications in safety‑critical systems. Without contributions like Schlund’s, the cumulative progress of formal methods would be slower, affecting the reliability of software used in critical infrastructure.  

## Notable For  
- Awarded a Dr. rer. nat. in Computer Science from the Technical University of Munich (2016).  
- Doctoral supervision by Javier Esparza, a distinguished computer scientist.  
- Listed in the Mathematics Genealogy Project (ID 232700), documenting his academic ancestry.  
- Recognized as a computer scientist within the German academic system.  

## Body  

### Education  
- **Technical University of Munich (TUM)** – Completed a doctorate (Dr. rer. nat.) in computer science in 2016.  
- **Doctoral Advisor:** Javier Esparza, noted for contributions to formal verification and automata theory.  

### Academic Lineage  
- **Mathematics Genealogy Project:** Entry #232700, linking Schlund to Esparza and the broader European theoretical‑computer‑science community.  

### Research Focus (as inferred from supervision)  
- While the specific dissertation topic is not disclosed, supervision by Esparza suggests work related to formal methods, automata theory, or verification.  
- The doctoral degree indicates original research that met the standards of the German “Dr. rer. nat.” qualification.  

### Publications & Dissemination  
- No specific publications are listed in the source material.  
- The dissertation is likely archived at TUM and referenced in academic databases via the Mathematics Genealogy Project.  

### Professional Outlook  
- No current employer or post‑doctoral affiliation is provided.  
- The academic credentials position Schlund for roles in research, teaching, or industry positions that require deep expertise in theoretical computer science.  

---  

*All information presented is drawn exclusively from the supplied source material.*

## References

1. Mathematics Genealogy Project