I will graduate soon and currently I am
looking for jobs.
My CV is
here, and the draft of my thesis is here.
Research Interests
Currently I am a full-time teaching assistant in the department of computer science, and a part-time postgraduate research scholar under the supervision of Associate Professor Dr DONG Jin Song. My research focuses on applying Formal Specification Languages in Embedded Real-time System design.
- We propose a systematic approach to complement Simulink, a graphical modeling and simulating tool used widely in industry, especially in automobile and aerospace fields, by exploiting Timed Interval Calculus, a highly expressive formal notation based on set theory and supporting the analysis of continuous dynamics, to automatically model and rigorously validate Simulink diagrams against important requirements including safety and bounded liveness requirements.
- Concurrently, we develop a generic verification system based on one of the powerful theorem provers, Prototype Verification System, to achieve machine-assisted proof support for interval-based formal specification languages, in particular, Timed Interval Calculus and Duration Calculus. The verification system carries validation at the interval level with a high degree of automation, and hence is applicable to handle complex and large scale real-time systems.
Education and Scholarship
- Aug 2003 - Present, School of Computing, NUS, Singapore. Ph.D. candidate.
- Aug 1999 - July 2003, School of Computing, NUS, Singapore. B.Sc. of Computer Science (2nd upper honor).
- Placed on Dean's List for outstanding academic performance (2002 - 2003).
- Singapore Government Linked Company Scholarship for undergraduate studies (Oct 1998 - July 2003)
- Dec 1998 - July 1999, The Centre for English Language Communication, NUS, Singapore. English Training Course
- Sep 1998 - Oct 1998, School of Electronic & Information Engineering, Xi'an JiaoTong University, China. Received scholarship from Ministry of Education, Singapore, after two months.
Publications
- Chunqing Chen, Jin Song Dong and Jun Sun. A Formal Framework for Modeling and Validating Simulink Diagrams, Formal Aspects of Computing. Accepted.
- Chunqing Chen, Jin Song Dong and Jun Sun. A Verification System for Timed Interval Calculus, In 30th International Conference of Software Engineering (ICSE'08), Leipzig, Germany, 2008.
- Chunqing Chen, Jin Song Dong and Jun Sun. Machine-assisted Proof Support for Validation beyond Simulink, In 9th International Conference on Formal Engineering Methods (ICFEM'07), Boca Raton, USA, 2007.
- Chunqing Chen, Jin Song Dong. Applying Timed Interval Calculus to Simulink Diagrams, In 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, China, 2006.
- Chunqing Chen. A Continuous-time Approach to Modeling and Validating Simulink Models, In Doctorial Symposium of 14th International Symposium on Formal Methods (FM'06), Hamilton, Canada, 2006.
Professional Activities
- Conference Presentations at ICSE'08, ICFEM'(07, 06), Doctoral Symposium of FM'06.
- International Referee of journals and conferences: IJSEKE, FAC, JSW, JSS, IJFCS, APSEC'(08, 07), VSTTE'08,
VLHCC'(08, 06),
SSIRI'08, 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, FM'05, ICECCS'05, IEHSC'05.
- Attended ICSE'08, ICFEM'(07, 06, 03), FM'06, IEHSC'05.
Working Experience
- Teaching Assistant, Computer Science, NUS (July 2008 - present)
- Research Assistant, Software Engineering Lab, Computer Science, NUS (Aug 2007 - Jan 2008).
- Teaching Assistant of module Data Structure and Algorithms in School of Computing, NUS (Aug 2002 - May 2003).
Skills
- Specification and Programming Languages: Z/Object-Z, UML, Statechart, Java, XML, Prolog, CLIP, Latex, HTML, etc.
- Softwares and Tools: MATLAB (familiar with Simulink, Stateflow toolboxes, etc), PVS, Rational Rose, UPPAAL, Isabelle/HOL, SPIN, SMV, NetBeans, etc.
- Interpersonal Skills and Abilities: Excellent communication, coordination, and analytical problem-solving skills; dedicated, self-motivated and eager to learn; fluent spoken/written in Chinese, English; good in TeoChew (dialect).
Extracurricular Activities
- Counselor of Freshmen Mentorship Program (2002 - 2003).
- Computing Club, Green Committee, Member (2001).
- Volunteer of
- Chen Su Lan Methodist Children's Home (2003).
- Ling Kwang Home for Senior Citizens (2001).
- Sports
- 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).
Last Updated: Jan 16, 2009
This document, index.html, has been accessed 8014 times since 22-Jul-04 16:13:50 SGT.
This is the 3rd time it has been accessed today.
A total of 1858 different hosts have accessed this document in the
last 1632 days; your host, 38.103.63.62, has accessed it 1 times.
If you're interested, complete statistics for
this document are also available, including breakdowns by top-level
domain, host name, and date.
