Close

Presenter

Biography
Lei Qiao received his Ph.D. degrees in computer science from USTC Hefei, in 2007. He is a professor in Beijing Institute of Control Engineering. His research interests include operating system design and formal verification.
Presentations
Research Manuscript
Embedded Systems
Time-Critical System Design
Hosted in Virtual Platform