Personal Information
Xiongnan (Newman) Wu Email: xiongnan.wu at yale.edu
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