Hai Fang
[home]
[research]
[links]
[contact info]
About me
I am a Ph.D. candidate in the
Department of Computer Science at
Yale University.
I am doing research in the FLINT group under the supervision of Professor Zhong Shao. I received my B.Eng., M.Eng., and M.Sc. in computer science from University of Science and Technology of China, Chinese Academy of Sciences, and Yale University respectively. During summer 2003, I was a research intern in the Intelligent Systems Laboratory at Palo Alto Research Center (PARC). My current research interests include automated reasoning, logic in computer science, type theory, functional programming, language-based security, optimization and heuristic search.
Family
My wife Wen.
Created: August 31, 2000.
Last modified: February 1, 2005.
|
