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.
This person is not in the org chart
This person is not in any teams
This person is not in any offices