Hoang-Hai Dang
Hai Dang is a Formal Method engineer at BlueRock Security, where he works on formal modeling of hardware, the formal specification and verification of the NOVA microhypervisor, as well as of the applications running on top of NOVA, such as the BlueRock VMM. He received his Ph.D at the Saarland University and the Max Planck Institute for Software Systems in Saarbruecken, Germany, with the topic on separation logics for relaxed memory models used in C++ and Rust.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| A Formal Specification of the NOVA Microhypervisor |
Saturday | UB4.136 | Microkernel and Component-Based OS | 17:20 | 17:45 |