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.

• Machine-assisted Proof Support for Interval-based Specification Languages: I have developed a novel verification system which provide a high level of automation for rigorously analyzing formal models of embedded real-time computing systems.
  The verification system is built upon a popular generic theorem prover, Prototype Verification System (PVS), to support two prominent interval-based specification languages, Timed Interval Calculus (TIC) and DC (Duration Calculus).
  Using the verification system, we can deal with complex proofs of TIC/DC models, which may involve mathemtical reasoning (e.g., integration and differentiation) and arbitrary (infinite) intervals over continuous time, in a way similar to their corresponding manual arguments, where the translation from TIC/DC models to PVS specifications and proof obligation at at low levels are automatically accomplished.
• Enhance the design confidence of Simulink: I have constructed a formal framework to model and validate Simulink diagrams by exploiting TIC, based on our developed verification system.
  Simulink is one of the most popular commercial products of the MathWorks for graphically specifying and simulating embedded systems. The framework can handle a variety of dynamice systems modeled in Simulink, such as continuous, discrete or hybrid systems. It can automatically transform Simulink diagrams to TIC models, and the transformation faithfully preserving the functional and timing aspects. Moreover, the framework can enlarge design spaces of Simulink and check system behavior beyond Simulink.

Education and Scholarship

• August 2003 - August 2009, School of Computing, NUS, Singapore. Ph.D. in Computer Science.
  • Advisor: Associate Professor Jin Song DONG. Information of the dissertation is available here
  • Dean's Graduate Research Excellence Award (throughout the PhD study)
  • NUS Graduate Research Scholarship (August 2003 - August 2007)
• August 1999 - July 2003, School of Computing, NUS, Singapore. B.Sc. in Computer Science (2nd upper class honor).
  • Placed on Dean's List for outstanding academic performance (2002 - 2003)
  • Singapore Government Linked Company Scholarship for undergraduate study (October 1998 - July 2003)
• December 1998 - July 1999, The Center for English Language Communication, NUS, Singapore. English Training Course.
• September 1998 - October 1998, School of Electronic and Information Engineering, Xi'an JiaoTong University, China. Received scholarship from the Ministry of Education, Singapore, after two months.

Publications

• Chunqing Chen, Jin Song Dong, Jun Sun and Andrew Martin. A Verification System for Interval-based Specification Languages, ACM Transactions on Software Engineering and Methodology. To appear. [PDF]
• Chunqing Chen, Jin Song Dong and Jun Sun. A Formal Framework for Modeling and Validating Simulink Diagrams, Formal Aspects of Computing. Volume 21(5), pp 451-483, Oct, 2009. [PDF]
• Jun Sun, Yang Liu, Jin Song Dong and Chunqing Chen. Integrating Specification and Programs for System Modeling and Verification, In the 3rd International Symposium on Theoretical Aspects of Software Engineering (TASE'09), Tianjin, China, 2009. Accepted.
• Chunqing Chen, Jin Song Dong and Jun Sun. A Verification System for Timed Interval Calculus, In the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, 2008. [PDF]
• Chunqing Chen, Jin Song Dong and Jun Sun. Machine-assisted Proof Support for Validation beyond Simulink, In the 9th International Conference on Formal Engineering Methods (ICFEM'07), Boca Raton, USA, 2007. [PDF]
• Chunqing Chen and Jin Song Dong. Applying Timed Interval Calculus to Simulink Diagrams, In the 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, China, 2006. [PDF]
• Chunqing Chen. A Continuous-time Approach to Modeling and Validating Simulink Models, In Doctoral Symposium of the 14th International Symposium on Formal Methods (FM'06), Hamilton, Canada, 2006

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

• Conference Presentation at ICSE'08, ICFEM'(07, 06), Doctoral Symposium of FM'06.
• International Referee of Journals and Conferences: IJIST, IJSI, INFSOF, IJSEKE, FAC, JSW, JSS, IJFCS, ICSE'10, ICFEM'09, FM'(09, 05), APSEC'(09, 08, 07), SSIRI'(09, 08), VSTTE'08, VLHCC'(08, 06), TOOLS'08, TASE'08, TACAS'08, HASE'07, ACSC'(07, 06), ATVA'(07, 06, 05), DCDS'07, IFM'(07, 05), SEKE'07, SEFM'07, QSIC'(07, 06), ASIAN'06, ICECCS'05, IEHSC'05.
• Attended ICSE'08, ICFEM'(07, 06, 03), FM'06, IEHSC'05.

Working Experience

• Research Fellow, Software Engineering Lab, NUS (July 2009 - Present).
• Full-time Teaching Assistant of the module Software Engineering Projects in Department of Computer Science, NUS (July 2008 - June 2009). Feedback from Students:
  • Semester I (Score 4.429 Against Avg. Score 3.984).
  • Semester II (Score 4.423 Against Avg. Score 4.141).
• Research Engineer, Software Engineering Lab, NUS (August 2007 - January 2008).
• Teaching Assistant of the module Data Structure and Algorithms in Department of Computer Science, NUS (August 2002 - May 2003).

Skills

• Programming and Modeling Languages: Java, C#/C++, XML, Prolog, HTML, UML, Statechart, Z/Object-Z, CSP.
• Software and Tools: MatLab (familar with Simulink and Stateflow), Rational Rose, PVS, NetBeans, MS Visual Studio, Esterel Studio.
• Interpersonal Skills and Abilities: Excellent communication, coordination, and analytical problem-solving skills, dedicated and self-motivated to learn, fluent spoken/written in Chinese and English, good in TeoChew (dialect)

Extracurricular Activities

• Counselor of Freshmen Mentorship Program (2002 - 2003)
• Computing Club, Green Committee, Member (2001)
• Sports
  • Graduate Students' Sports Day, Basketball Game (2009).
  • Inter-faculty Games, Swimming, 4 X 50 Free-style Relay, 3rd Place (2007).
  • Inner-faculty Sports Festival, Table Tennis, Doubles, Champion (2000).
  • Inter-hall Games, Table Tennis (1999 - 2000).
• Volunteer of
  • Chen Su Lan Methodist Children's Home (2003).
  • Ling Kwang Home for Senior Citizens (2001).

---

Last Updated: August 31, 2009

Visitor's Information: