Christoph Beierle
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 203551
Dissertation: Algebraic Implementations in an Integrated Software Development and Verification System
Advisors 2
- Jörg H. SiekmannUniversity of Essex · 1976
- Martin WirsingLudwig-Maximilians-Universität München · 1976
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Nourhan Ehab | German University in Cairo | 2021 | 0 |
| Marc Finthammer | Not recorded | — | 0 |
| Jens Fisseler | Not recorded | — | 0 |
| Jonas Philipp Haldimann | Not recorded | — | 0 |
| Patrick Krümpelmann | Not recorded | — | 0 |
| Steven Kutsch | Not recorded | — | 0 |
| Sandra Loch-Dehbi | Not recorded | — | 0 |
| Gregor Meyer | Not recorded | — | 0 |
| Renate Meyer | Not recorded | — | 0 |
| Nico Potyka | Not recorded | — | 0 |
| Kai Sauerwald | Not recorded | — | 0 |
| Matthias Thimm | Not recorded | — | 0 |
| Manfred Widera | Not recorded | — | 0 |