# Haidi Yue

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

**Wikidata**: [Q102926242](https://www.wikidata.org/wiki/Q102926242)  
**Source**: https://4ort.xyz/entity/haidi-yue

## Summary
Haidi Yue is a computer scientist who received their Dr. rer. nat. (Doctor of Natural Sciences) from RWTH Aachen University in 2013. They completed their doctoral studies under the supervision of theoretical computer scientist Joost-Pieter Katoen.

## Biography
- Born: [date and place not provided]
- Nationality: [not provided]
- Education: Dr. rer. nat., RWTH Aachen University (2013)
- Known for: [specific contributions not provided]
- Employer(s): [not provided]
- Field(s): Computer science

## Contributions
The provided source material does not contain specific information about Haidi Yue's published works, projects, patents, or other contributions to the field. While we know they completed doctoral studies in computer science at RWTH Aachen University in 2013 with Joost-Pieter Katoen as their advisor, details about their research outcomes or professional impact are not available in the provided information.

## FAQs
### Q: What degrees does Haidi Yue hold?
A: Haidi Yue holds a Dr. rer. nat. (Doctor of Natural Sciences) degree from RWTH Aachen University, which they obtained in 2013.

### Q: Who was Haidi Yue's doctoral advisor?
A: Haidi Yue's doctoral advisor was Joost-Pieter Katoen, a Dutch researcher in theoretical computer science born in 1964.

### Q: Where did Haidi Yue complete their doctorate?
A: Haidi Yue completed their doctorate at RWTH Aachen University in Germany.

### Q: What is Haidi Yue's academic lineage?
A: Haidi Yue has been assigned ID 232651 in the Mathematics Genealogy Project, which tracks academic genealogy in mathematics and related fields.

### Q: In what field does Haidi Yue work?
A: Haidi Yue is identified as a computer scientist, though the specific subfield or specialization is not provided in the source material.

## Why They Matter
Without specific information about Haidi Yue's research contributions, professional achievements, or impact on the field of computer science, it is not possible to determine their significance or lasting impact. The available information only establishes their academic qualifications and doctoral relationship with Joost-Pieter Katoen.

## Notable For
- Completed doctoral studies in computer science at RWTH Aachen University
- Doctorate awarded in 2013 with specialization in theoretical computer science
- Student of renowned computer scientist Joost-Pieter Katoen
- Listed in Mathematics Genealogy Project with ID 232651

## Body

### Academic Background
Haidi Yue received their Dr. rer. nat. (Doctor of Natural Sciences) degree from RWTH Aachen University in 2013. This qualification places them within the academic tradition of the Rheinisch-Westfälische Technische Hochschule Aachen, one of Germany's leading technical universities.

### Doctoral Supervision
Yue's doctoral advisor was Joost-Pieter Katoen, a prominent Dutch researcher in theoretical computer science born in 1964. Katoen has made significant contributions to formal methods and verification in computer science, particularly in model checking, process algebra, and probabilistic systems.

### Academic Lineage
Haidi Yue has been assigned ID 232651 in the Mathematics Genealogy Project, which documents the academic lineage of mathematicians and theoretical computer scientists. This suggests their work may have connections to broader traditions in mathematical computer science, though specific research topics are not detailed in the provided source material.

### Professional Context
While identified as a computer scientist, the provided source material does not contain information about Haidi Yue's current or past employers, specific research contributions, or professional activities beyond their doctoral studies.

## References

1. Mathematics Genealogy Project