This is Lei Fang and I am working as a research software development engineer in Center of Software Excellence(CSE) at Microsoft. My research interests include fomral verification, hardware and software testing, distibuted system, computer security and power optimization. Now I am working on an exciting term "Cloud OS". Please take a look at Windows Azure which can potentially shape our computing paradigm in a few years.
I got my Ph.D. from ECE department, Virginia Tech after I spent 4 years in Blacksburg, Virginia, with researches focused on formal methods in verification and testing. Blacksburg is a wonder place to live. I definitely miss the sunny blue sky there after I moved to Seattle. At Virginia Tech I enjoyed my research life as a Proactive member in Professor Michael S. Hsiao's group. I obtained M.S. from EECS department, Syracuse University where I published a few research papers with Professor Wenliang Du about locationing and intrusion detection in wireless sensor network. Before that I worked for two years as software engineer in China after I graduated from EE department, Tsinghua University.
Here are some bits of my resume. You can reach me at Lei<dot>Fang<you know what this symbol should be>microsoft.com.