Hooray, I passed the oral defence recently and hence complete my PhD study :-)
Currently, I am looking for jobs, and my Curriculum Vitae is here.

Biography

My research area centers on software engineering, including requirement specification, system-level design and formal verification. I am particularly focusing on applying rigorous analysis techniques to improve the reliability and robustness of large-scale software systems embedded in safety-critical environment with real-time constraints.

Education and Scholarship

Publications


Disclaimer : The documents contained in this page are included to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons accessing this information will adhere to the terms and constraints invoked by the copyright.

Professional Activities

Working Experience

Skills

Extracurricular Activities




Last Updated: August 31, 2009

Visitor's Information: Locations of visitors to this page