Chao Sun is currently a Software Engineer at Cloudera, Inc. He has been working on Hive on Spark project since joining the company in mid 2014. Prior to that, he was a PhD student in Computer Science at U​W-Milwaukee, focusing on type systems​ and ​mechanized proofs​.​