Junfeng is an expert in software systems and tools, a pioneer in leveraging formal program analysis techniques to check real-world software. He is also Associate Professor at Columbia University where he co-invented the initial NimbleDroid technology. He was a consultant and researcher at Microsoft. He earned his PhD in CS at Stanford. He has been working on making performant, reliable, and secure software for over 15 years. His inventions have been applied to analyze, test, debug, monitor, and optimize real-world software, including Android, Linux, Berkeley DB, and production systems at Microsoft and VMware, benefiting hundreds of millions of users. His work has been covered by presses including Communications of ACM and The Register, and won many awards. He has published and refereed in many top systems, security, programming languages, and software engineering conferences.
Andy was Co-founder and CTO of Coverity, which exited for $375M. He played a central role in building and selling Coverity’s static analysis product which helps developers fix defects in their code. Andy is widely regarded as the “go-to” advisor for dev/ops startups. Andy received a PhD at Stanford where he worked on static analysis and collaborated with Junfeng on checking systems code and studying the errors found. The work later became the foundation of Coverity. Andy received a BS at UC Berkeley.
Younghoon brings in years of engineering and managing experience. He obtained his MS in CS from Columbia, and was a PhD student in Junfeng’s lab where he co-invented the NimbleDroid technology. Previously he was Senior Engineer at Naver, Korea's largest Internet giant, leading various projects on backend infrastructure. He built one of Korea's most popular Java mobile games, a spinoff of MapleStory, at Gretech.
Josh brings in over a decade of experience building products, managing teams, and supporting customers. Previously he was Head of Product and COO at Kindling, an enterprise SaaS startup, and Director of Customer Engagement at Arc90, an agency. He received a BS in CS from University of Virginia.
Yongqiang brings in 13 years of experience in data science and machine learning. He is an expert in both algorithms and systems. He was Associate Research Scientist at Columbia and invented algorithms and GPU acceleration techniques for medical diagnostics of massive imaging data, resulting in 11 publications at top venues. He obtained a PhD in EE from Chinese Academy of Science on computer aided diagnosis of pulmonary diseases, and an MS in CS from Columbia.
Tom is passionate about systems and networks. He dips his feet in Ruby on Rails and dives into the core systems code of Android. He spends most of his CPU time working on features that save Android developers precious wall time moments of their lives. Tom obtained an MS in CS from Columbia where he aced the toughest course offered by the program (the OS course where students hack the kernel of Android and flash it onto real devices for improved performance and functionality). In his spare time, Tom enjoys exploring cities by bike in search of the perfect veggie burger.
Conan hearts coding and fiddling around with programming languages and tech. He’s also into visual art and music and has been studying and creating art. Over the past 10 years, he was / has been co-founders or partners of a few startups whose products are confluence of technology and art, the most recent of which is GitCafe.com, an open-source social coding platform in China. Conan has an MS in CS from NYU.
Fan has years of experience of building Mobile Apps and Web applications. He has worked with modern front-end and backend architectures, as well as visual and graphic design. Previously he was CTO of Emygtech, Chief Developer and designer at Phzter, and CTO of WezoneNYC.
Park has a deep background in software testing and automated analysis. He co-founded Coverity in 2003, creating a new market space in static analysis for software testing and bootstrapping a research technology from Stanford into a $375 Million acquisition. David has also served in sales leadership roles at Credant Technologies (acquired by Dell) and is currently a sales director for Dell EMC's security solutions. Prior to starting and helping startups develop into successful exits, David published numerous papers in formal methods and automated testing of software at Stanford University while working on his Ph.D. in computer science. Park commits 12 hours per quarter. He is responsible for advising go-to-market strategies; carrying out select sales operations; recruiting sales team; and establishing connections to investors, customers, and partners. Park consults for equity only.