Personal Information

Xiongnan (Newman) Wu Email: xiongnan.wu at

firefox I am Xiongnan Wu. Most of the people have problems with pronouncing my firstname. So you can just call me Newman. I am a PhD student at the Department of Computer Science at Yale University. Please refer to the Yale FLINT Group page for the details of research going on in our group in the development of Certified Software. My research is focused on the specification and verification of a realistic operating system kernel. I received my Bachelor's degrees in Computer Science from Zhejiang University and Simon Fraser University, and my Master's degree from Simon Fraser University.

Connect with me on