# Mihai Codescu

> Dr. Universität Bremen 2012

**Wikidata**: [Q102404475](https://www.wikidata.org/wiki/Q102404475)  
**Source**: https://4ort.xyz/entity/mihai-codescu

## Summary
Mihai Codescu is a computer scientist who earned his doctoral degree from the University of Bremen in 2012. His work is rooted in academic research, guided by notable advisors in the field. He is recognized for his contributions to computer science, particularly through scholarly publications and collaborations.

## Biography
- Born: [No data available]
- Nationality: [No data available]
- Education: Doctoral degree, University of Bremen (2012)
- Known for: Academic research in computer science
- Employer(s): [No data available]
- Field(s): Computer science

## Contributions
Mihai Codescu’s academic work is documented through his doctoral studies at the University of Bremen, completed in 2012. While specific publications or projects are not detailed in the source material, his contributions to computer science are reflected in his academic identifiers, including a Mathematics Genealogy Project ID (169751) and an MR Author ID (858161). His research was supervised by Till Mossakowski and Andrzej Tarlecki, suggesting a focus on theoretical or foundational aspects of computer science. As a researcher, his work contributes to the broader academic discourse in the field, though explicit outcomes like papers or tools are not specified in the provided data.

## FAQs
### Q: Where did Mihai Codescu earn his doctoral degree?
A: He received his doctorate from the University of Bremen in 2012.

### Q: Who supervised Mihai Codescu’s academic work?
A: His advisors were Till Mossakowski and Andrzej Tarlecki, both established figures in computer science.

### Q: What is Mihai Codescu’s primary field of work?
A: He is a computer scientist, focused on academic research in the discipline.

## Why They Matter
Mihai Codescu’s significance lies in his role as a researcher advancing computer science through academic rigor. His doctoral work at the University of Bremen, under the guidance of respected scholars, places him within a lineage of researchers contributing to the theoretical foundations of the field. While the direct impact of his work is not elaborated in the source material, his academic credentials and collaborations indicate a commitment to scholarly progress. His contributions, as tracked by identifiers like his MR Author ID, underscore his integration into the global academic community, influencing peers and ongoing research efforts.

## Notable For
- Doctoral graduate of the University of Bremen (2012).
- Supervised by notable computer scientists Till Mossakowski and Andrzej Tarlecki.
- Recognized in academic databases (Mathematics Genealogy Project ID: 169751, MR Author ID: 858161).

## Body
### Academic Career
Mihai Codescu pursued his doctoral studies at the University of Bremen, culminating in his graduation in 2012. His research was conducted under the supervision of **Till Mossakowski** and **Andrzej Tarlecki**, both of whom are recognized for their contributions to computer science. This academic lineage suggests a focus on formal methods, semantics, or related theoretical domains.

### Professional Identity
Codescu is primarily identified as a **computer scientist**, with his work situated within the academic sector. His research aligns with the broader goals of advancing computational theory and practice, though specific applications or innovations are not detailed in the source material.

### Academic Identifiers
- **Mathematics Genealogy Project ID**: 169751  
- **MR Author ID**: 858161  
These identifiers link Codescu to scholarly publications and academic networks, highlighting his participation in peer-reviewed research and collaboration within the computer science community.

### Collaborations and Influences
Codescu’s academic journey was shaped by his advisors, **Till Mossakowski** and **Andrzej Tarlecki**. Mossakowski is known for work in coalgebraic logic and formal methods, while Tarlecki has contributed to specification and verification techniques. This mentorship contextualizes Codescu’s research within a tradition of rigorous, mathematically grounded computer science.

## References

1. Mathematics Genealogy Project