David Lee: From HKU to Silicon Valley