Martijn Warnier
Original record- Institution
- Radboud Universiteit Nijmegen
- Year
- 2006
- Country
- Netherlands
- MGP identifier
- 185727
Dissertation: Language based security for Java and JML
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Bart P. F. JacobsKatholieke Universiteit Nijmegen · 1991
- Martijn Diederik OostdijkTechnische Universiteit Eindhoven · 2001
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Indushree Banerjee | Technische Universiteit Delft | 2022 | 0 |
| Selma Čaušević | Technische Universiteit Delft | 2023 | 0 |
| Kas Clark | Technische Universiteit Delft | 2014 | 0 |
| Yakup Koç | Technische Universiteit Delft | 2015 | 0 |
| Qingzhi Liu | Technische Universiteit Delft | 2016 | 0 |
| Evangelos Pournaras | Technische Universiteit Delft | 2013 | 0 |
| Nina Voulis | Technische Universiteit Delft | 2019 | 0 |