David Ke Hong

E-mail:
Ke photo

Biography

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.

Education

Research Projects

Publications

Journal papers

Conference papers

Workshops and Posters

Thesis

Honors and Awards

Talks and Demos

Teaching

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

Work Experience

Software

Links

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