Qian Wang Department of Computer Science Eric Jonsson School of Engineering and Computer Science The University of Texas at Dallas 2601 N. Floyd Road Richardson, TX 75083-0688, USA   Tel: (972)-883-6170 (Office) Fax: (972)-883-2349 (Department) Email: qxw015000@utdallas.edu

EDUCATION

• PH.D. Candidate of Science in Computer Science

  THE UNIVERSITY OF TEXAS AT DALLAS , Richardson , Texas, Expect July 2006

• Master of Science in Computer Science,

  SHANGHAI JIAOTONG UNIVERSITY, Shanghai , P.R. China, 1997

• Bachelor of Science in Computer Science

  SUZHOU UNIVERSITY, JIANSU , P.R. CHINA, 1992

RESEARCH INTERESTS

• Software Engineering: Components based software engineering, Aspect oriented software engineering, Domain specific languages, Verification and provably correct code generation for safety-critical systems.

• Software Architecture: Architecture Description languages, Software Architecture analysis and verification, Services oriented architecture.

• Programming Languages: Implementation, Semantics, Applications, Constraint and Logic Programming, Mark-up Languages, Compilers.

• Semantics Web: O ntologies and the tools that are used to create ontologies. Applications of ontologies, Web Services.

• Assistive Technology: Audio and Voice based access to the Web, Access to Mathematics for blind individuals.

PUBLICATIONS

Conference Publications:

[1] Qian Wang , “Integrating Architecture Description Languages: A Semantics-based Approach,” 2 nd International Conference on Distributed Computing & Internet Technology (Software Engineering Track), ICDCIT 2005, Bhubaneswar, India, Dec. 2005 (7 papers selected out of 63 submissions for the software engineering track).

[2] Michael Nichols, Qian Wang , Gopal Gupta, “A VoiceXML-based Spoken Scripting Language for Voice-based Web Navigation, ” 11th International Conference on Human-Computer Interaction, Las Vegas - Nevada USA, July 2005.

[3] Qian Wang and Gopal Gupta, “Rapid Prototyping Implementation Infrastructure of Domain Specific Languages: A Semantics-based Approach,” The 20 th Annual ACM Symposium on Applied Computing, SAC 2005, Santa Fe, New Mexico, USA, pp. 1419 – 1426, Mar. 2005

[4] Qian Wang , Gopal Gupta and Michael Leuschel, “Towards Provably Correct Code Generation via Horn Logical Continuation Semantics,” 7th International Symposium, PADL 2005, LNCS 3350, pp. 98-112 , Long Beach, CA, USA, Jan. 2005.

[5] Qian Wang and Gopal Gupta, "A Logic Programming-based Environment for Integrating Architecture Description Languages," The 14th Workshop on Logic Programming Environments, Workshop on Logic Programming Environments (WLPE'04), Saint-Malo , France , Sep. 2004.

[6] Qian Wang and Gopal Gupta, “Provably Correct Code Generation: A Case Study,” International Workshop on Software Verification and Validation, SVV 2003, ENTCS. Volume 118. pp. 87-109., Mumbai , India , Dec. 2003. (received the workshop's best paper award) .

[7] Qian Wang and Gopal Gupta, “Continuation Semantics as Horn Clauses,” 13th International Symposium on Logical-based Program Synthesis and Transformation, LOPSTR 2003, Lecture Notes in Computer Science, Springer Verlag, pp. 176-177 , Uppsala, Sweden, Aug. 2003.

[8] Tianfang Yao, Feiyu Xu, Dongmo Zhang, Fang Li, Qian Wang , and Huanye Sheng, “A Multilingual Information Retrieval Model based on Information Extraction and Text Generation,” In Proc. of 1st International Symposium for Chinese Information Processing & Development 2001, Beijing, China, Aug. 2001.

[9] Tianfang Yao, Dongmo Zhang and Qian Wang , “MLWFA: A Multilingual Weather Forecast Text Generation System,” In Proc. of 38th Annual Meeting of the Association for Computational Linguistics (ACL 2000), Hong Kong, China, Oct. 2000.

[10] Jiong Dai and Qian Wang , “The Implementation of the Knowledge-base of the Macro-planner of the Nature Language Generation System,” 1999 National Joint Symposium on Computer Linguistics Tsinghua University , Beijing , China , Oct. 1999.

[11] Dongmu Zhang, Tianfang Yao and Qian Wang , “Design and Implementation of a Clause Planner of Multilingual Text Generation System for Weather Forecast,” Journal of Shanghai Jiaotong University , VOL. 32, No. 10, Oct. 1998.

[12] Tianfang Yao, Xiaorong Huang, Dongmu Zhang and Qian Wang , “Research on the Model for Chinese Text Generation of Weather Forecast,” Journal of Jiangxi Normal University , VOL. 22, Oct. 1998.

[13] Tianfang Yao, Dongmo Zhang and Qian Wang , “Multilingual Weather Forecast Generation System,” In Proc. of 9th International Workshop on Natural Language Generation, Ontario Canada, Aug. 1998.

[14] Qian Wang and Tianfang Yao, “Design and Implementation of Macroplanner for Chinese Weather Forecast Automated Generation System,” 1997 National Joint Symposium on Computer Linguistics Tsinghua University , Beijing , China , Aug. 1997.

[15] Qian Wang , "Natural Language Generation Technology," Microcomputer Applications, China , Apr. 1997.

Publications in Preparation

[1] Qian Wang and Gopal Gupta, “An OWL Ontology for Software Architecture”. Paper in preparation.

[2] Qian Wang and Gopal Gupta, “Integrating Architecture Description Languages: A Semantics-based Approach,” Paper in preparation for Journal of Systems and Software.

[3] Gopal Gupta, Enrico Pontelli, Qian Wang , “Specification, Implementation, and Verification of Domain Specific Languages,” Paper in preparation for Journal of Software Practice and Experience.

[4] Qian Wang , Gopal Gupta, “Horn Logical Continuation Semantics,” Paper in preparation for Theoretical Computer Science Journal.

[5] Gopal Gupta, E. Pontelli, H-F. Guo, Qian Wang , “Rapid Prototyping of Semantic Filters and Translators,” paper in preparation for Journal of Software Practice and Experience.