主页 › Home

Curriculum Vitae

Monday, 2009-04-06 15:18 — dongyuan

Yuan Dong

Ph.D, Tsinghua University, 2001

Assistant Professor

Institute of Computer Software
Department of Computer Science and Technology
Tsinghua University
Beijing, P. R. China, 100084

Phone: +86-10-6279.4240
Location: Main Building 10#209
Email: dongyuan_at_tsinghua.edu.cn
Webpage: http://dongyuan@tsinghua, Old Version, Chinese Version

Education

2001, PhD in Solid Mechanics, Tsinghua University, China
1998, ME in Solid Mechanics, Tsinghua University, China
1996, BE in Engineering Mechanics, Tsinghua University, China

Working Experience

2003-present Assistant Professor.
Department of Computer Science and Technology, Tsinghua University, China
2007-2008 Visiting Fellow.
Department of Computer Science, Yale University, USA
2001-2003 Post Doctor.
Department of Computer Science and Technology, Tsinghua University, China

Research

Doctor DONG Yuan received his doctoral degree in 2001 from Tsinghua University. He gained several years of practical experience in seismic exploration data processing in the petroleum industry during his doctorate but his interest in computer software grew in connection with topics within mechanics and data processing and he went on to pursue research work in computer science and technology. His knowledge and experience in engineering mechanics such as inverse problem theory, numerical methods, optimization algorithms is contributing to his work on software optimization and improvement, software development process and hardware/software co-design process evaluation and improvement. His general research interests include: Embedded Operating System, Compiler and Language-Based Security; Software Methodology for Hardware/Software Co-design; Theory and Application of Software Engineering.

Publications

2008g
Ming Lin, Zhenyang Yu, Duo Zhang, Yunmin Zhu, Shengyuan Wang and Yuan Dong, Retarget the open64 to PowerPC Processor. In Proc. International Conference on Embedded Software and Systems(ICESS2008), Chengdu, China, 152 157, 2008.
2008f
Dawei Xu, Yuan Dong, and Suqin Zhang, Application of Text Classification in Marine Information Processing (In Chinese), Computer Science, 2007, 35(11): 144-146
2008e
Dawei Xu, Yuan Dong, and Suqin Zhang, Multi-dimensional, multi-level text classification system for marine knowledge (In Chinese), Journal of Tsinghua University, 48(7), 1157-1164, 2008. (EI 083111424530)
2008d
Ruoyao Bai, Yuan Dong, Suqin Zhang, and Dawei Xu, Support platform for researching Chinese text categorization technologies (In Chinese), Journal of Tsinghua University, 48(7), 1150-1153, 2008. (EI 083111424528)
2008c
Shengyuan Wang and Yuan Dong, A verifiable low-level concurrent programming model based on colored Petri nets. In Proc. 2008 International Workshop on Petri Nets and Distributed Systems (PNDS'08), Xi'an, China, 147-166, June 2008.
2008b
Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. Combining Domain-Specific and Foundational Logics to Verify Completer Software Systems. In Proc. 2008 Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE2008), LNCS5295, 54-69, 2008
2008a
Xinyu Feng, Zhong Shao, Yuan Dong and Yu Guo. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. In Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implement ation (PLDI‘08), Tucson, Arizona, 170-182, June 2008. (SCI 328TJ)
2007g
Shengyuan Wang, Yingyi Liang, Yuan Dong, Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy, TSINGHUA SCIENCE AND TECHNOLOGY, 2007, 12(6): 684-690.
2007f
Wei Xu, Yuan Dong, RouYao Bai, SuQin Zhang, An Evaluation System for Algorithms of Automated Text Categorization on Chinese(In Chinese), Computer Science, 2007, 34(8): 177-179.
2007e
Shiyu Huan, Yuan Dong, Design and Implementation of the Enterprise Information Platform(In Chinese), Journal of InnerMongolia University, 2007, 38(2): 229-233.
2007d
Weitao Sun, Yuan Dong, Study on global optimization methods for wave equation inversion problems(In Chinese), PROGRESS IN GEOPHYSICS, 2007, 22(3): 797-803.
2007c
XiaoGuang Luo, ShengYuan Wang, Yuan Dong, SuQin Zhang, Study on Mobile Code Safety Based on Certifying Compilation(In Chinese), Computer Science, 2007, 34(2): 267-269.
2007b
Haoxiang Lin, Yuan Dong, Wei Zhang, Suqin Zhang and Changjun Hu, Design and Implementation of Waycryptic, a Versatile Cryptographic File System for Linux(In Chinese), Mini-Micro Systems, 2007, 28(1): 122-126.
2007a
Shengyuan Wang, Yuan Dong, Improving Combinability of Petri Nets with Inheritance, Aggregation and Association, 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, IEEE CS Press, 2007, 433-439.
2006a
Jia Chen, Yuan Dong, Yang Yang, Guilan Dai and Shengyuan Wang, Software Power Optimization for Embedded Systems Based on Instruction Clustering and Instruction Rescheduling(In Chinese): Mini-Micro Systems, 2006, 27(1): 175-179.
2005c
Sen Lin, Yuan Dong, Shengyuan Wang, Ting Li, Nyimatrashi and Pudun, A Tibetan Input Method Based on Syllable Word for Mobile Phone, Proceedings of The Second International Conference on Embedded Software and Systems (ICESS 2005), Dec. 16-18, Xi'an China.
2005b
Yuan Dong, Shengyuan Wang, Jia Chen, Jinlan Tian and Suqin Zhang, Embedded Linux System Design for Hardware/Software Co-development (In Chinese): Journal of Tsinghua University, 2005, 45(7): 973-976.
2005a
Jia Chen, Shengyuan Wang, Yuan Dong, Guilan Dai, Yang Yang, A Functionality Based Instruction Level Softwre Power Estimation Model for Embedded RISC Processors: Z. Wu et al. (Eds.): ICESS 2004, LNCS 3605, pp. 443-448, 2005, Springer-Verlag.
2004c
Xiang Du, John C. Bancroft, Yuan Dong, A New Migration Method Using a Finite Element and Finite Difference Approach, Consortium for Research in Elastic Wave Exploration Seismology (CREWES 2004).
2004b
Hongmou Su, Yuan Dong, Shengyuan Wang, Jinlan Tian and Suqin Zhang, Analysis on GAS and Porting it to Support a New Processor, (In Chinese): Mini-Micro Systems, 2004, 25(7): 1185-1187.
2004a
Yuan Dong, Xiaoying Bai and Suqin Zhang, Agile methods analysis based on the inverse problem theory: PreProceedings of Andrei Ershov Fifth International Conference, 2003, (PSI03).
2003b
Yuan Dong, Huizhu Yang and Qizhen Du, Reverse Time Migration of Finite Element - Finite Difference Method (In Chinese). Journal of University of Petroleum, 2003, 27(6): 25-29.
2003a
Hong Li, Yuan Dong, Yongning Cao and Chen Jiang, Design and Implementation of Enterprise Information Platform Based on J2EE(In Chinese): Computer Engineering, 2003, Vol. 29, No. 2, 204-206.
2002c
Qizhen Du, Huizhu Yang, Yuan Dong, A Study On Shear Wave Velocity Estimation and Fracture Detection in HTI Media: Journal of Computational Acoustics, 2002, 10(3): 331-347.
2002b
Qizhen Du, Yuan Dong and Huizhu Yang, HTI Media Shear Wave Normal Moveout Velocity Inversion (In Chinese): Journal of University of Petroleum, 2002, 26(2): 26-30.
2002a
Shijun Zhang, Huizhu Yang, Yuan Dong and Qizhen Du, HTI Media parameters Inversion with GA: (In Chinese): Oil Geophysical Prospecting, 2002, 37(1):24-28.
2001b
Qizhen Du, Yuan Dong, Huizhu Yang. Shear Wave Velocity Estimation in HTI Media, Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 397-408 (ICTCA '2001, Beijing, China, 2001).
2001a
Yuan Dong, Huizhu Yang and Lizhen Gu. Solution of 2-D wave reverse-time propagation problem by the Finite Element - Finite Difference Method (FE-FDM): Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 593-599 (ICTCA '2001, Beijing, China, 2001).
2000b
Yuan Dong, Huizhu Yang and Weitao Sun, An approximation of the group velocity for HTI media: 70th Ann. Internat. Mtg., 2000, Soc.Expl. Geophys., Expanded Abstracts, Calgary.
2000a
Yaping Zhu, Huizhu Yang, Yuan Dong and Yi Ni, Application of OpenGL Technique to Seismic Data Visualization: (In Chinese): Oil Geophysical Prospecting, 2000, 35(4): 418-422.
1999b
Huizhu Yang, Yuan Dong, Yi Ni, Yaping Zhu and Baixun Xiao, New Method of Improving detection Precision on the base quality of Three Gorges dam(In Chinese): Engineering Mechanics (supplement), 1999, P489-494.
1999a
Yuan Dong and Huizhu Yang, Detect the fracture coefficient using the interval moveout (In Chinese): Oil Geophysical Prospecting, 1999, Vol. 34, No. 5, 520-526
1998b
Ke Yin, Huizhu Yang and Yuan Dong, Reflection coefficient of P-wave in anisotropic media (In Chinese): Journal of Tsinghua University. 1998, Vol. 38, No. 2, 12-16
1998a
Ke Yin, Huizhu Yang, and Yuan Dong, AVO in Anisotropic Media: Acta Geophysica Sinica. 1998, Vol, 41, No. 2, 261-272.

Books

2005a
Yuan Dong, Finite Element - Finite Difference Method Reverse Time Migration, in New Methods for Seismic Imaging, edited by Yong Wang (In Chinese). Beijing: Petroleum Industry Press, 2005.
2004a
Li Zheng, Yuan Dong and Ruifeng Zhang, C++ Language Program Design (Ed. III). Beijing: Tsinghua University Press, 2004.
2001b
Li Zheng and Yuan Dong, C++ Language Program Design (Ed. II). Beijing: Tsinghua University Press, 2001.
2001a
Hemei Tang, Yuan Dong, Li Li and Zhirui Cheng, Linux Series: Basis of Operating System. Beijing: Tsinghua University Press, 2001.
2000a
Yuan Dong, Yaping Zhu and Yi Ni, Motif/OpenGL Program Development under Linux System. Beijing: China Machine Press, 2000.
1999b
Li Zheng, Yuan Dong and Shixing Fu, C++ Language Program Design (Ed. I). Beijing: Tsinghua University Press, 1999.
1999a
Li Zheng, Yuan Dong and Hongli Meng, FORTRAN Language Program Design. Beijing: Publishing House of Electronics Industry, 1999.

Teaching

Programming Languages Laboratory, Fall 2008, Fall 2006.

Software Engineering, Fall 2008, Fall 2006, Fall 2005, Sprint 2005.

Software Project Management, Fall 2005 with Renkun Yin.

Principle of Compiler, Fall 2004 with Suqin Zhang.

Membership of Professional Bodies

[2007-present] Member of Association for Computing Machinery (ACM)

[2005-present] Member of China Linux standardization Group

[2005-present] Member of China Computer Federation (CCF)

[2004-present] Member of the IBM Academic Initiative

[1997-2000] Student member of Society of Exploration Geophysicists (SEG)

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html curriculum-vitae.tex -nowhite -noshow_section_numbers -split 0 -nonavigation -t 'DONG Yuan'

The translation was initiated by ydong on 2009-02-24