Welcome to my web
site!
Hao, Ping
Research Scholar
Department of Computer ScienceSchool of Computing, National University of Singapore
10 Kent Ridge Cresent, Singapore 119260
E-mail: haoping@comp.nus.edu.sg
Telephone: +65 68742834
Office: Software Engineering Lab, S15-03-06
Research interests
- Software Engineering, Integrated Formal Methods
- Real-time Embedded System Modeling and Verification
- Formal specification languages, Tool supports
Qualifications
- Bachelor of Science, Department of Electronics and Information Engineering, Huazhong University of Science and Technology, Wuhan, P.R.China (9/1996-6/2000) - Major in Telecommunications
- Ph.D.(submitted),
School of Computing (SoC), National University of Singapore (NUS),
July 2002 -Oct. 2006.
Advisor: Associate Professor DONG, Jin Song
Work experiences
- Research Assistant (6/2000 - 7/2001), Ecommerce R & D Center, Huazhong University of Science and Technology, Wuhan, P.R.China
- Research Assistant (8/2005 - 9/2006), School of Computing (SoC), National University of Singapore (NUS).
Related links
- My supervisor Dr. Jin Song Dong's home page
- The World Wide Web Virtual Library on Formal Methods
- Who's Who on the Web in Formal Methods