# Christina Maria Jansen

> Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen 2017

**Wikidata**: [Q102926348](https://www.wikidata.org/wiki/Q102926348)  
**Source**: https://4ort.xyz/entity/christina-maria-jansen

Here’s the structured biographical entry for Christina Maria Jansen based strictly on the provided source material:

---

## Summary  
Christina Maria Jansen is a German computer scientist known for her doctoral research at RWTH Aachen University, completed in 2017 under the supervision of Joost-Pieter Katoen. Her work contributes to the field of theoretical computer science, with ties to industrial and service sectors.

## Biography  
- Education: Dr. rer. nat. (Doctor of Natural Sciences), RWTH Aachen University (2017)  
- Doctoral Advisor: Joost-Pieter Katoen  
- Field(s): Computer science (theoretical focus)  
- Mathematics Genealogy Project ID: 232659  

## Contributions  
Christina Maria Jansen earned her doctorate from RWTH Aachen University in 2017, supervised by Joost-Pieter Katoen, a prominent Dutch researcher in theoretical computer science. While specific publications or projects are not detailed in the source material, her academic lineage and affiliation with RWTH Aachen suggest contributions aligned with formal methods, probabilistic models, or verification—key areas of Katoen’s research. Her work likely intersects with industrial applications, given the broader context of her field’s relevance to sectors like software engineering and systems design.

## FAQs  
### Q: Where did Christina Maria Jansen earn her doctorate?  
A: She received her Dr. rer. nat. from RWTH Aachen University in Germany in 2017.  

### Q: Who was Christina Maria Jansen’s doctoral advisor?  
A: She was supervised by Joost-Pieter Katoen, a Dutch computer scientist specializing in theoretical computer science.  

### Q: What is Christina Maria Jansen’s field of research?  
A: Her work falls under computer science, with ties to theoretical and industrial applications, though specific subfields are not detailed in available sources.  

## Why They Matter  
Christina Maria Jansen’s doctoral research at RWTH Aachen represents a contribution to theoretical computer science, a field critical to advancing software reliability, security, and formal verification. Her association with Joost-Pieter Katoen—a leader in probabilistic model checking—suggests her work may have implications for industries reliant on robust system design. While her direct impact is not fully documented, her academic trajectory underscores the global collaboration and mentorship shaping modern computational methods.  

## Notable For  
- Doctoral degree from RWTH Aachen University (2017).  
- Supervision under Joost-Pieter Katoen, a notable figure in theoretical computer science.  
- Affiliation with a leading European technical university renowned for engineering and computer science research.  

## Body  
### Academic Background  
- Earned her Dr. rer. nat. (Doctor of Natural Sciences) from RWTH Aachen University in 2017.  
- Doctoral advisor: Joost-Pieter Katoen, whose research spans formal methods and probabilistic systems.  

### Professional Context  
- Listed as a computer scientist with ties to industrial and service sectors, though specific roles are unspecified.  
- No employer details or post-doctoral affiliations are provided in the source material.  

### Research Legacy  
- Recorded in the Mathematics Genealogy Project (ID: 232659), linking her to broader academic networks in mathematics and computer science.  

--- 

*Note: All information is derived strictly from the provided source material; gaps reflect unavailable data.*

## References

1. Mathematics Genealogy Project