Jun Pang
Original record- Institution
- Vrije Universiteit Amsterdam
- Year
- 2004
- Country
- Netherlands
- MGP identifier
- 97022
Dissertation: Formal Verification of Distributed Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Willem Jan (Wan) FokkinkUniversiteit van Amsterdam · 1994
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Ninghan Chen | Université du Luxembourg | 2023 | 0 |
| Xihui Chen | Université du Luxembourg | 2014 | 0 |
| Naipeng Dong | Université du Luxembourg | 2013 | 0 |
| Hailong Hu | Université du Luxembourg | 2023 | 0 |
| Hugo Lennaert Jonker | Not recorded | — | 1 |
| Cui Su | Université du Luxembourg | 2020 | 0 |
| Aoran Wang | Université du Luxembourg | 2024 | 0 |
| Qixia Yuan | Université du Luxembourg | 2017 | 0 |
| Yang Zhang | Université du Luxembourg | 2016 | 0 |
| Zhiqiang Zhong | Université du Luxembourg | 2022 | 0 |