Henrik Ejersbo Jensen
Original record- Institution
- Aalborg Universitet
- Year
- 1999
- Country
- Denmark
- MGP identifier
- 81249
Dissertation: Abstraction-Based Verification of Distributed Systems
Advisors 2
- Kim Guldstrand LarsenThe University of Edinburgh · 1986
- Nancy Ann LynchMassachusetts Institute of Technology · 1972
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Fatimah Abdul-Razak | Imperial College London | 2013 | 0 |
| Arijeet Datta | Imperial College London | 2000 | 0 |
| Gunnar Pruessner | Imperial College London | 2004 | 2 |