Faculty - Dr. Xinyu Feng
PhD - Yale University
Research Assistant Professor
Xinyu Feng expects to get his Ph.D. degree in Computer Science from Yale University in 2007. He got his bachelor's degree in Computer Science in 1999 from Nanjing University; and Master's degree in Computer Science in 2002 from Nanjing University, China. From July 2001 to January 2002, Xinyu Feng was a visiting research assistant at the Hong Kong Polytechnic University.
Xinyu Feng's research interests are in the area of programming languages and formal methods. In particular, he is interested in developing theories, programming languages and tools to build formally certified system software, such as operating system kernels and libraries, with rigorous guarantees of safety and correctness properties. He also worked on mobile agent systems with his colleagues at Nanjing University and the Hong Kong Polytechnic University.
Dr. Feng also has a personally maintained website which can be found at http://www.tti-c.org/feng