# Roland Meyer

> Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg 2009

**Wikidata**: [Q102416254](https://www.wikidata.org/wiki/Q102416254)  
**Source**: https://4ort.xyz/entity/roland-meyer

## Summary
Roland Meyer is a German computer scientist who earned his doctorate from Carl-von-Ossietzky-Universität Oldenburg in 2009. He is known for his work in computer science with expertise in formal methods and concurrency theory. As both a researcher and educator, he has contributed to advancing theoretical foundations in computing science.

## Biography
- Nationality: German
- Education: Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg 2009
- Field(s): Computer science
- Doctoral advisors: Ernst-Rüdiger Olderog, Eike Best
- Doctoral students: Georgel Ionut Calin, Egor Derevenetc, Georg Zetzsche

## Contributions
Roland Meyer's contributions center on formal methods and theoretical computer science, particularly in areas related to concurrency theory and system verification. His doctoral research at Carl-von-Ossietzky-Universität Oldenburg in 2009 established foundational work in these areas under the supervision of Ernst-Rüdiger Olderog and Eike Best. Through his research and mentorship, he has guided several doctoral students including Georgel Ionut Calin, Egor Derevenetc, and Georg Zetzsche, all of whom completed their doctorates around 2015-2016. His academic lineage connects to significant figures in German computer science, contributing to the mathematical genealogy of the field through his involvement in training the next generation of researchers. His work appears to focus on rigorous mathematical approaches to understanding concurrent systems and their verification, which forms a critical foundation for ensuring correctness in complex software systems.

## FAQs
### Q: What is Roland Meyer's educational background?
A: Roland Meyer earned his Dr. rer. nat. degree from Carl-von-Ossietzky-Universität Oldenburg in 2009. His doctoral advisors were Ernst-Rüdiger Olderog and Eike Best.

### Q: Who were Roland Meyer's doctoral advisors?
A: Roland Meyer's doctoral advisors were Ernst-Rüdiger Olderog and Eike Best, both German computer scientists known for their work in formal methods and concurrency theory.

### Q: Which students did Roland Meyer supervise for their doctorates?
A: Roland Meyer supervised at least three doctoral students: Georgel Ionut Calin, Egor Derevenetc, and Georg Zetzsche, who completed their degrees around 2015-2016.

## Why They Matter
Roland Meyer represents an important link in the German computer science academic chain, connecting foundational researchers like Ernst-Rüdiger Olderog and Eike Best with emerging scholars in formal methods and concurrency theory. His role as supervisor to multiple doctoral students who completed their degrees in the mid-2010s indicates his position as an active researcher and educator during a crucial period in the development of modern verification techniques. The fact that his students went on to complete their doctorates suggests his effectiveness in mentoring the next generation of theoretical computer scientists. Through his research and teaching, he has contributed to maintaining Germany's strong tradition in formal methods and mathematical foundations of computing, helping ensure the continuity of rigorous approaches to system verification and concurrent programming. His work supports the broader ecosystem of reliable software development by advancing theoretical understanding of concurrent systems.

## Notable For
• Completing his doctorate at Carl-von-Ossietzky-Universität Oldenburg in 2009 with specialization in formal methods
• Supervising three doctoral students who completed their degrees between 2015-2016
• Being part of the academic lineage connecting to prominent German computer scientists Ernst-Rüdiger Olderog and Eike Best
• Contributing to the Mathematics Genealogy Project with ID 180182
• Working in the field of computer science with focus on theoretical foundations

## Body
### Academic Credentials
Roland Meyer holds a Dr. rer. nat. degree from Carl-von-Ossietzky-Universität Oldenburg, completed in 2009. The "Dr. rer. nat." designation indicates a Doctor of Natural Sciences degree, which in the German system typically involves rigorous mathematical and scientific research.

### Mentorship Relationships
Meyer's doctoral advisors were Ernst-Rüdiger Olderog and Eike Best, both established German computer scientists. Olderog, born June 4, 1955, is known for his work in formal methods and concurrency theory. Best, born 1951, also specializes in computer science with particular emphasis on Petri nets and formal verification.

### Student Supervision
Meyer has supervised three doctoral students who completed their degrees around 2015-2016: Georgel Ionut Calin (Dr.-Ing. from Technische Universität Kaiserslautern in 2016), Egor Derevenetc (Dr.-Ing. from Technische Universität Kaiserslautern in 2015), and Georg Zetzsche (Dr. rer. nat. from Technische Universität Kaiserslautern in 2015).

### Research Field
As a computer scientist, Meyer works in the intersection of formal methods and concurrency theory, areas that require strong mathematical foundations for verifying the correctness of concurrent and parallel systems.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Roland Meyer",
  "jobTitle": "Computer Scientist",
  "nationality": {"@type": "Country", "name": "Germany"},
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Carl-von-Ossietzky-Universität Oldenburg"}],
  "knowsAbout": ["Computer Science", "Formal Methods", "Concurrency Theory"],
  "gender": "Male",
  "description": "German computer scientist who earned his doctorate from Carl-von-Ossietzky-Universität Oldenburg in 2009"
}

## References

1. Mathematics Genealogy Project