David Ke Hong

Ke photo


David earned his PhD in Computer Science and Engineering (advisor Prof. Z. Morley Mao) from University of Michigan. He received an MPhil (Master of Philosophy) and bachelor degree (first-class honour) in Computer Science and Engineering from The Hong Kong University of Science and Technology (HKUST). His recent research focuses on verifying safety and security properties in emerging autonomous vehicle software using program analysis and formal methods. He also researched on performance diagnosis and acceleration of Android systems, traffic engineering in software-defined networks, network and compute acceleration of cloud data centers.


Research Projects


Journal papers

Conference papers

Workshops and Posters


Honors and Awards

Talks and Demos


Ke worked as a teaching assistant or instructor for the following courses at HKUST and UMich.

Work Experience



My GitHub | My LinkedIn | My Blog | My Google+ | My Facebook | My Twitter | My Weibo | Robustnet Research Group | Fclose.com | Highly Scalable Systems

Tools: Who am I? | Linux Manual

Last updated: Dec. 30, 2019
Pageloads: 9,785

Valid XHTML and CSS 3
Free Web Hosting