Xiaoyu Zhou (周筱羽)
|
|
Ph.D. Candidate Software
Engineering Group |
|
|
|
[Biography] [Research Interests] [Education] [Projects] [Personal]
Biography
I am a Ph. D. candidate in Software Institute, Nanjing University. I joined the Software Engineering Group since September 2009, under the supervision of Professor Jianhua Zhao.
Research Interests
My research areas include but not limited to:
- Formal methods and software verification
- Model checking for real time system
Education
- 09/2009- now, Candidate for Doctoral degree in Software Engineering, Software Institute, Nanjing University. Supervisor: Prof. Jianhua Zhao.
- 09/2007-07/2009, Master degree in Software Engineering, Software Institute, Nanjing University. Supervisor: Prof. Jianhua Zhao.
- 02/2008-07/2008, Advanced master program in e-media, Group-T Leuven Engineering School, Belgium.
- 09/2003-06/2007, Bachelor degree in Software Engineering, Software Institute, Nanjing University.
Projects
- Formal verification techniques for key algorithms of compiler backends (2009ZX01036-001-001-003), supported by National Science and Technology Major Projects.
Personal
- Some
friends of mine
Software Engineering Group: Lei Bu, Zhanqi Cui, Minxue Pan, You Li, Liu Xi, Enyi Tang.
[Biography] [Research Interests] [Education] [Projects] [Personal]
Visitors of my homepage:
Last update: