教师名录

董 笑菊 副教授

主页: [点击这里]

办公室电话:+86-21-3420-5060*601

办公地点:SEIEE-3-519

电子邮件:dong-xj@cs.sjtu.edu.cn

实验室: BASICS实验室

  • 研究兴趣
  • 教育背景
  • 工作经验
  • 教授课程
  • 论文发表
  • 项目资助
  • 获奖信息
  • 学术服务

Information Visualization and Visual Analytics, Formal Methods

- Apr. 2000 – Apr. 2004 
Ph.D. in Computer Science, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China 

- Sept. 1997 - Apr. 2000 
M.S. in Computer Science, Department of Computer Science, Harbin Engineering University, Harbin, China 

- Sept. 1993 - Jul. 1997 
B.S. in Computer Science, Department of Computer Science, Harbin Engineering University, Harbin, China

- 2004年4月至今 
上海交通大学计算机系,讲师,副教授

- 2008年7月- 2009年1月

法国巴黎第七大学(Université Paris Diderot-Paris 7)PPS实验室,访问学者

- 2015年10月-2016年10月

上海市规划与国土资源管理局信息处,副处长(挂职)


Data Visualization and Visual Analytics;

Concurrency Theory;

Computational Thinking; 

Discrete Mathematics;

C++ Programming Language


[Selected]

1.  Yanlong Li, Guoqiang Li, Xiaoju Dong. A Survey on Visualization of Tree Comparison. Journal of Software. 2016, to appear. (in Chinese with English abstract)

2.  Jianxin Xue, Xiaoju Dong. New Approach to Proving Local Cause Bisimulation Axiomatically. The Proceedings of 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE2012), 2012: 199-203.

3.  Jianxin Xue, Xiaoju Dong. A Fully Abstract View for Local Cause Semantics. The 7th International Conference on Grid and Pervasive Computing (GPC 2012), LNCS 7296, 2012: 198-209.

4.  Zhenhua Dong, Xiaoju Dong. Representing Bounded Petri Nets by Process Calculi. Journal of Shanghai Jiao Tong University, 2011, 45(7): 980-984. (in Chinese with English abstract) 

5.  Chunyi Huang, Xiaoju Dong. Maximally parallel attribute on P systems: properties and applications. Pre-proceedings of the International Conference Bio-Inspired Computing--Theory and Applications, 2007. Also in Progress in Natural Science. 2008, 18(5): 629-632.

6.  Chunyi Huang, Xiaoju Dong, Huan Long. Solving the sort problem using a P system. Journal of Shanghai Jiao Tong University, 2008, 42(2): 206-208. (in Chinese with English abstract)

7.  Xian Xu, Xiaoju Dong. Study on a new variant of tissue P systems. Science of Computer, 2008. (in Chinese with English abstract)

8.  Min Zhang, Zhengwei Qi, Xiaoju Dong. Executable Specification of P Systems with Active Membranes and Its Implementation. Journal of Shanghai Jiao Tong University, 2008. (in Chinese with English abstract)

9.  Qing Zhuang, Xiaojuan Cai, Xiaoju Dong, Zhengwei Qi. A Verification Tool for Security Protocol on GSPM. Computer Engineering. 2008. (in Chinese with English abstract)

10. Xiaoju Dong, Yuxi Fu. Barbed Congruence of Asymmetry and Mismatch. Journal of Computer Science and Technology, 22(4), 2007: 575-579.

11. Xian Xu, Xiaoju Dong and Yuxi Fu. A Model in kappa for DNA Addition. Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi, July 9, 2006 (MeCBIC2006). Also in Electronic Notes in Theoretical Computer Science, 171(2), 2007: 209-222.

12. Yang Pu, Xiaoju Dong. Continuous simulation of biomolecular systems based on process calculus. In Proc. of International Symposium on Artificial Life and Robotics, Oita, Japan, January 25-27, 2007.

13. Dan Li, Min Zhang, Xiaoju Dongκ-Calculus Model for the Life-Cycle of Lambda Phage. Journal of Shanghai Jiao Tong University. 2007: 42-22. (in Chinese with English abstract)

14. Xiaoju Dong and Yuxi Fu. Barbed Congruence of the Asymmetric Chi Calculus. Journal of Harbin Institute of Technology, 13(4), 2006: 444-451.

15. Xiaoju Dong, Jiahua Ni, Yuxi Fu. Modeling the biological and chemical reactive processes using process calculi. The Annual Conference of Theoretical Computer Science of China, 2006. (in Chinese)

16. Yang Pu, Xiaoju Dong. The simulation and analysis of the tile self-assemble. The Annual Conference of Theoretical Computer Science of China, 2006. (in Chinese).

17.  Yang Pu, Yanbin Yu, Xiaoju Dong. Simulation of biomolecular processes by using stochastic P systems. In Proc. of International Workshop on High Performance Computing in the Life Sciences (HPCLife), Ouro Preto, Brazil, 2006.

18. Farong Zhong, Yuxi Fu, Xiaoju Dong. Bisimulation Congruence for Asymmetric χ≠-Calculus. Proceedings-Fifth International Symposium on Parallel and Distributed Computing2006: 173-184.

19. Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong. A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005, IEEE, 2005: 680-684.

20.  Xiaoju Dong, Yuxi Fu, Xu Xian. A Survey of Systems Biology Formal Models. The Annual Conference of Theoretical Computer Science of China. 2005. (in Chinese)

21. Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He. An Implementation for Mapping SBML to BioSPI. FSKD(2), Lecture Notes in Computer Science, LNAI 3614, 2005: 1128-1131.

22. Zhupeng Dong, Xiaoju DongJiahua Ni. Research on Systems Biology Models Conversion. Journal of Shanghai Jiao Tong University, 39(8), 2005: 1280–1283. (in Chinese with English Abstract)

23. Yuxi Fu, Xiaoju Dong. Formalizing the Environment View of Process Equivalence. The International Symposium on Computational and Information Sciences (CIS’04), Shanghai, December 16-18, Lecture Notes in Computer Science 3314, 2004: 336-345.

24. Xiaoju Dong, Farong Zhong and Yuxi Fu. Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch. High Technology Letters, 9(4), 2003: 50-55.

25. Xiaoju Dong and Yuxi Fu. Observing Asymmetry and Mismatch. In A Ohori, APLAS 2003, Lecture Notes in Computer Science 2895, Springer-Verlag, Nov. 27-29, Beijing, China, 2003: 2-19.

26. Xiaoju Dong and Guochang Gu. AUV Global Path Planning Allowing for Ocean Current. In Proceedings of the 3rd World Congress on Intelligent Control and Automation, IEEE Press, June28---July 2, Hefei, China, 2000: 1230-1234.

27. Xiaoju Dong, Jingyu Liu, Guochang Gu. Implementation of Motion-viewing Simulation Based on OpenGL. Computer Engineering, 25(12), 1999: 25-26.

[Selected]

1. National Natural Science Foundation of China (No. 61100053) : Relative Expressiveness between Concurrent Models. 2012-2014, PI

2. Key Program of National Natural Science Foundation of China (No. 61033002) : M-solvability, complexity and the Model Theory of Computer Science. 2011-2014, Co-PI

3. Natural Science Foundation of Shanghai, China (No. 10ZR1416800) : Modeling and Analysis of Concurrent Systems by Tissue P Systems. 2010-2012, PI

4. Natural Science Foundation of Shanghai, China (No. 075115003): Study on Restoration and Digital Storage of Precious Historical Audio. 2007-2009, Co-PI

5. Visiting Scholar, Funded by China Scholarship Council, 2008.

教育部-微软重点实验室智能计算与智能系统学术秘书

中国计算机学会青年工作委员会执行委员、女计算机工作者委员会执行委员

中国计算机学会上海分部监督委员会主席

中国计算机学会青年计算机科技论坛(CCF YOCSEF)总部学术委员

中国计算机学会青年计算机科技论坛上海2011-2012年度主席、荣誉委员

中国计算机学会形式化方法专委委员

中国图象图形学会可视化与可视分析专委会(筹)创始委员

上海市计算机学会副秘书长、青年工作委员会副主任、理论计算机专委副主任


联系我们 webmaster@cs.sjtu.edu.cn

上海交通大学计算机科学与工程系版权所有 @ 2013