Meixian Chen is a software engineer at Google since January 2019, with previous experience as a research assistant at USI Università della Svizzera italiana from September 2013 to July 2018, focusing on scalable program analysis in software engineering. Prior research internships include a position at the National Institute of Informatics in early 2013, where the focus was on the parallelization of graph algorithms using Hadoop, and an internship at INRIA’s LIAMA Sino-European Laboratory of Informatics from December 2010 to August 2011, which involved modeling and verifying distributed system protocols with the Coq formal prover. Meixian Chen holds a Ph.D. in Informatics from USI Università della Svizzera italiana, completed in 2018, and earned both a Master’s and Bachelor’s degree in Computer Science from Shanghai Jiao Tong University, finishing in 2013 and 2011, respectively.
Location
Baar, Switzerland