a person in the record
Walid Taha
Supervised 2 doctoral students at Högskolan i Halmstad; doctorate in 1999.
Students2
- Sundas Munir“Pre-deployment Analysis of Smart Contracts”2024 · Högskolan i Halmstad · doctoral
- Adam Duracz“Rigorous Simulation”2016 · Högskolan i Halmstad · doctoral
Theses1
- “Multi-Stage Programming”1999 · doctoral
Sat beside the lineage
Theses where they were a committee member, examiner or in another role, not as advisor.
- David Broman“Meta-Languages and Semantics for Equation-Based Modeling and Simulation”opponent · 2010 · Linköpings universitet · doctoral