Institute for Theoretical Computer Science, Tsinghua University Deputy Director
|
|
Address: Institute for Theoretical Computer Science, Tsinghua University, Beijing, 100084, P. R. China |
|
Office: Room 1-203 FIT Building |
|
|
Telephone: 86-10-62789157 |
|
|
Fax: 86-010-62790206 |
|
|
Email: wangyuexuan@tsinghua.edu.cn |
|
|
| Zhejiang University, Ph.D., Control Theory & Engineering, 2003 | |
|
December 2009 to Present |
Deputy Director, Professor, Institute for Theoretical Computer Science, Tsinghua University, Beijing, China |
|
|
July 2006 to 2009 |
Associate Director, Associate Professor, Institute for Theoretical Computer Science, Tsinghua University, Beijing, China |
|
| January 2009 to March 2009 | Visiting Professor, University of Texas at Dallas | |
| July 2007 to September 2007 | Visiting Scholar, Mathematics and Computer Science Division, Argonne National Laboratory, USA | |
|
January 2007 to March 2007 |
Visiting Scholar, The Chinese University of Hongkong |
|
|
February 2006 to June 2006 |
Assistant Professor, Department of Automation, Tsinghua University, Beijing, China |
|
|
January 2006 to February 2006 |
Cooperation research, The Chinese University of Hongkong |
|
|
August 2005 to September 2005 |
Cooperation research, The Chinese University of Hongkong |
|
|
April 2003 to February 2006 |
Postdoctoral Fellow, Department of Automation, Tsinghua University, Beijing, China |
| Wireless Sensor Network | |
|
Grid Computing |
| Project | Period | Role | |
| 10 | Quantum Network Platform: 20-Year Roadmap. Chinese Academy of Engineering (U0970121) |
November 2009 -July 2010 | Project principal |
| 9 | A Study of Some Key Problems in the Theory for Secure Computation. The National Basic Research Program of China (973 Project) (No.2007CB807900) | May 2007 to August 2012 | Key member |
| 8 | Study on Agricultural Bio-Environmental Information Acquisition and Wireless Sensors Network Technologies, Hi-Tech research & Development Program of China (863 Project) (No.2006AA10Z216) | December 2006 to October 2010 | Project principal |
| 7 | Research on Reasoning and Verification of Provenancable Equipment Grid Service Chain Models, National Natural Science Foundation of China Grant (No. 60604033) | January 2007 to December 2009 | Project principal |
| 6 | Study on Simulation Grid Platform for Equipment Resource Sharing System, China Postdoctoral Science Foundation (No. 2003024155) | December 2003 to February 2006 | Project principal |
| 5 | National University Equipment and Resource Sharing System, 211 Common Service Platform Project, Ministry of Education | April 2003 to February 2006 | Project principal |
| 4 | APC-iSensor Development Project | March 2002 to October 2002 | Project principal |
| 3 | The Advanced Process Control Software APC-iHiecon Project | March 2001 to March 2002 | Project principal |
| 2 | Industrial Process Model Identification Software Project | February 2000 to September 2000 | Project principal |
| 1 | Intelligent Gas Analysis Technology Based on Neural Network,Key project of Zhejiang Province | October 1997 to March 1999 | Key member |
Incoming M.S. Students:
Former Ph.D. Students:
1. Mathematics for Computer Science, Freshman, Spring Semester
Instructors: Andrew Yao, Yuexuan Wang
This course aims to introduce the fundamental mathematical techniques useful for computer science undergraduate majors, illustrated with a rich spectrum of applications. Modern computer science education requires the students to be equipped with broad knowledge in mathematics, so that they could cope with current and future technological challenges handily and innovatively. In this course, mathematical techniques from algebra, geometry, probability theory, stochastic modeling, and information theory will be covered. These techniques will be applied to algorithmic and design problems in various topics, including internet, cryptography, distributed systems, wireless sensor network, optimization, etc. Finally, this course introduces the students to deep scientific issues in the foundation of computing such as undecidability, complexity, and quantum computers.
2. Foundations of Programming, Sophomore, Fall Semester
Instructors: Yuexuan Wang
This course assumes that the students have the basic knowledge of programming languages (e.g. functions, loops, and arrays, etc.). Topics to be covered include an overview of fundamental programming concepts in C/C++ (e.g. procedural programming and object-oriented programming), data structures (e.g. linked lists, stacks, queues, and trees), common algorithms that related to those data structures, and an introduction of programming patterns (e.g. reference count, virtual constructor).
| 2004 | Postdoctoral Scientific Research Award, National CIMS Engineering Research Center Institute of System Integration, Tsinghua University |
| December 4 to December 8, 2006 | The Croucher Foundation Advanced Study Institute Wireless Sensor Networks, City University of Hongkong | |
| May 1 to May 7, 2006 | GPC2006, Taiwan | |
| May 29 to June 1, 2006 | Infoscale2006, Hongkong | |
| 2005 | IFIP International Conference on Network and Parallel Computing (NPC 2005).Session Chair | |
| 2005 | Study on π-Calculus Based Equipment Grid Service Chain Model. Paper presentation. IFIP International Conference on Network and Parallel Computing (NPC 2005) | |
| October 14 to 16, 2005 | Conference organizing committee member, The 3rd International Symposium on Intelligent Information Technology in Agriculture, Beijing, China | |
| September 17, 2005 | Grid and its agriculture application Vision (Invited Talk),The People of Great Hall,Centenary Celebration of China Agriculture University& International Agriculture Forum | |
| August 2005 | The Grid:Today &Tomorrow (Seminar). The Chinese University of Hongkong | |
| June 2005 | Global Grid Forum GGF13, Chicago, USA | |
| April 2005 | Equipment Grid Architecture and Security (Keynote),Grid World China 2005, Beijing | |
| March 2005 | Equipment Grid (Seminar), HPC Research Center, University of Seoul, Korea | |
| March 2005 | Global Grid Forum GGF13,Seoul, Korea | |
| May 2005 | From Application to Grid, Tsinghua University, Beijing | |
| April 2005 | Grid and Its application in Transportation Service. Tsinghua University. Beijing. | |
| April 2005 | Agriculture Grid, Handan City Hebei Province | |
| January 1 to February 5, 2005 | UML Design & Grid (Tutorial), Military Grid Center, PLA University of Science and Technology | |
| December 2004 | Grid Today and Tomorrow. Tsinghua University Postdoctoral Forum,Beijing | |
| October 2004 | Grid Today and Tomorrow. Hangzhou Dianzi University, Hangzhou, | |
| 2004 | Research on Equipment Resource Scheduling in Grids, 3rd International conference on Grid and Cooperative Computing, October, 2004, Wuhan , China | |
| June 2004 | Grid and its application in Resource Sharing,Tsinghua University Postdoctoral Forum |
43 |
Yuexuan Wang, Meizhi Hu and Jie Yin, A Scheduling Method for Service Chain in Equipment Grid, Information Systems Frontiers (ISF), 2010 |
42 |
Yuexuan Wang, Meizhi Hu and Jie Yin, PA predictive admission control algorithm for user advance reservation in equipment grid, Business Process Integration and Management(IJBPIM), 2010 |
41 |
Yuexuan Wang, Yongcai Wang, Xiao Qi, Liwen Xu. Open Architecture Precision Agriculture Information Monitoring System, CASES’09, October 11–16, 2009 |
40 |
Weiwei Lang, Yuexuan Wang, James Yu, Suogang Gao, Weili Wu. ERROR-TOLERANT TRIVIAL TWO-STAGE GROUP TESTING FOR COMPLEXES USING ALMOST SEPARABLE AND ALMOST DISJUNCT MATRICES,Discrete Mathematics, Algorithms and Applications, 12 February 2009 |
39 |
Yuexuan Wang, Yin Jie, Meizhi Hu. A Scheduling Method for Service Chain in Equipment Grid, SERVICES-I 2009, Los Angeles, July 6-10,2009 |
38 |
Feng Zou; Yuexuan Wang; Xiao-Hua Xu; Xianyue Li; Hongwei Du; Pengjun Wan;Weili Wu. New Approximations for Minimum-Weighted Dominating Set and Minimum-Weighted Connected Dominating Set on Unit Disk Graphs. Theoretical Computer Science.2009 |
37 |
Deying Li; Yuexuan Wang; Qinghua Zhu; Huiqiang Yang. Fault-tolerant routing: k-inconnected Many-to-One Routing in Wireless Networks. Theoretical Computer Science.2009 |
36 |
Qiang-Sheng Hua, Yuexuan Wang, Dongxiao Yu, Francis C.M. Lau. Set Multi-Covering via Inclusion-Exclusion, Theoretical Computer Science, 2009 |
35 |
Hardness of k-Vertex Connected Subgraph Augmentation Problem. Changcun Ma, Donghyun Kim, Yuexuan Wang, Wei Wang, Nassim Sohaee and Weili Wu. Journal of Combinatorial Optimization (JOCO), 2009 |
34 |
Constructing error-correcting pooling designs with symplectic space, Jun Guo, YuexuanWang, Suogang Gao, Jiangchen Yu, WeiliWu. Journal of Combinatorial Optimization (JOCO), 2009 |
33 |
ANALYSIS ON THEORETICAL BOUNDS FOR APPROXIMATING DOMINATING SET PROBLEMS, Xiaofeng Gao, Yuexuan Wang, Xianyue Li, Weili Wu. Discrete Mathematics, Algorithms and Applications, 2009 |
32 |
Application of provenance service in equipment grid, Jie Yin, Yuexuan Wang, Cheng Wu, Journal of Tsinghua University (Science and Technology) , Vol.48, No.7, 1225-1228, 2008, EI:20083111424547 |
31 |
Predictive Admission Control Algorithm for Advance Reservation in Equipment Grid, Jie Yin, Yuexuan Wang, Cheng Wu, 2008 International Conference on Services Computing (SCC2008), pp.49-56, July 7-11, 2008, Hawaii, USA, EI:20083811577449 |
30 |
An approach to build accessible grid service,Jie Yin, Yuexuan Wang, Cheng Wu, SNPD 2007, pp.423-428, July 30- August 1, TsingDao, China, EI:20074110862583 |
29
|
A fuzzy scheduling method in equipment grid,Jie Yin, Yuexuan Wang, Cheng Wu, ICMCL 2007, pp.3099-3103 , August 19-22, 2007, EI:20080311030855 |
28 |
Scheduling Remote Access to Scientific Instruments in Cyberinfrastructure for Education and Research, Jie Yin, Junwei Cao, Yuexuan Wang etc, The 7th IEEE Symposium on Cluster Computing and the Grid (CCGrid 2007), pp.426-433, May 14-17, 2007, Rio de Janeiro, Brazil, EI:073610801023 |
27 |
Ensuring Secure and Robust Grid Applications-From a Formal Method Point of View. GPC2006, LNCS3947, pp. 537-546, 2006, Tanwan. Xu Ke, Wang YueXuan, Wu Cheng. SCI:BEK24, EI:20062910004752 |
26 |
Service Provenance based Abstraction of Grid Application Knowledge，Ke Xu, Yuexuan Wang, and Cheng Wu. The 2nd International Conference on Semantics, Knowledge and Grid (SKG2006), November 1-3, 2006, Guilin, China, EI:20082511322559 |
25 |
Aspect Oriented Region Analysis for Efficient Equipment Grid Application Reasoning. Ke Xu, Yuexuan Wang, and Cheng Wu. The 5th International Conference on Grid and Cooperative Computing (GCC2006), pp. 28-31, October. 21- 23, 2006, Changsha, Hunan, China, EI:20080611078398 |
24 |
Study on π-Calculus Based Equipment Grid Service Chain Model. Yuexuan Wang, Cheng Wu. IFIP International Conference on Network and Parallel Computing (NPC 2005). LNCS 3779, pp.40-47, 2005, Beijing. SCI: BDQ15, EI: 2006269970490 |
23 |
Study on Equipment Interoperation Chain Model in Grid Environment. Yuexuan Wang, Cheng Wu. Third International Symposium on Parallel and Distributed Processing and Applications (ISPA-2005). LNCS 3758, pp. 588-595, 2005, Nanjing. SCI:BDJ13, EI: 2006219894388 |
22 |
An Efficient Content-Based Notification Service Routed over P2P Network, Xixiang Hu, Yuexuan Wang, and Yunhe, Pan. The Fourth International Conference on Grid and Cooperative Computing(GCC2005), LNCS 3795, pp. 884-894,2005, Beijing. SCI: BDQ17, EI: 2006229908961 |
21 |
Study on Equipment Grid Service Chain Sharing Technology and Method. Yuexuan Wang, Cheng Wu, Wancheng Ni. Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), Vol.33, p15-17, 2005. EI: 2006109747532 |
20 |
Constrained Multi-objective Optimization Evolutionary Algorithm. Wang Yuexuan, Liu Lianchen, Mu Shengjing, Wu Cheng.Tsinghua Science and Technology. Vol.45, No.7, pp.103-106, Jan. 2005. EI: 2005139014242 |
19 |
Research on equipment resource scheduling in grids. Yuexuan Wang, Lianchen Liu, Cheng Wu. The Third International Conference on Grid and Cooperative Computing (GCC 2004). LNCS 3251. pp. 927-930, 2004.10, SCI: BBE85 |
18 |
A Parameter Dispersion Based Global Identification Method and Its Application. Yuexuan Wang, Hu Xixiang, Xiaoping Li, Wu Cheng. The 5th World Congress on Intelligent Control and Automation. Vol. 4, pp.294-298, 2004.6. EI: 2004388368618 |
17 |
The Study on Simulation grid Technology for Equipment Resource Sharing System. Wang Yuexuan, Liu Lianchen, Hu Xixiang, Wu Cheng. In Proceedings of the 5th World Congress on Intelligent Control and Automation, June 15-19, 2004, Hangzhou, P.R. China 2004, Vol. 4, pp.3235-3239. EI: 2004388367992 |
16 |
Annealing-genetic Algorithm for Constrained Optimization Problems. Wang Yuexuan, Wu Cheng, Hu Xixiang, Mu Shengjing, Liu Lianchen. High Technology Letters. Vol. 14. No.7. pp.10-14. EI: 2004388367196 |
15 |
The Study of Equipment Grid Based on Simulation Modeling, Wang Yuexuan, Wu Cheng, Hu Xixiang, Liu Lianchen. Computer Integrated Manufacturing Systems (CIMS),Vol. 10, No. 9: pp.1031-1035, Sep. 2004.. EI: 2004538754232 |
14 |
Heuristic Algorithms for Large Flowshop Scheduling Problems. Li Xiaoping, Wang Yuexuan, Wu Cheng. In Proceedings of the 5th World Congress on Intelligent Control and Automation, June 15-19, 2004, Hangzhou, P.R. China 2004, Vol. 4, 2999-3003. EI:2004388367940 |
13 |
A Study on Education Resource Sharing Grid. Yuexuan Wang, Cheng Wu. International Journal of Information Technology, Vol.11, No.3, pp.73-80, 2005 |
12 |
Research on Equipment Grid Platform for Resource Sharing. Yuexuan Wang, Lianchen Liu, Cheng Wu. World Engineers Convention (WEC) 2004, pp.148-152, 2004.11 |
11 |
A Model Identification Software Design for Complex Industrial Process and Its Application. Wang Yuexuan, Hu Xixiang, Liu Liancheng, Wu Cheng, Journal of System Simulation, Vol.16, No.7: pp.1401-1404, 2004 |
10 |
Large Online Soft-Sensor System-s Design and Its Application. Wang Yuexuan, Liu Lianchen, Wu Cheng. Proceedings of the symposium on global manufacturing & simulation technology of the 21st century. pp.599-602, October. 2004, Guiyang, China |
9 |
Com-based Soft-sensing Software and Its Application. Wang Yuexuan, Su Hongye, Mu Shengjing, Chu Jian. Controland Instruments in Chemical Industry. Vol.30, No.3: pp.43~46, 2003. EI: 2004328307460 |
8 |
Multi-layer Distributed-based Advanced Process Control Software and Its Application. Wang Yuexuan, Su Hongye, Hu Xixiang, Chu Jian. Journal of Zhejiang University (Engineering Science). Vol.38, No. 3: pp.262-266, 2004. EI: 2004298266377 |
7 |
Research on the Analysis of Gas Mixture by Local Linearization of Curved Surface. Wang Yuexuan, Pang Quan. Instrument Technology and Sensor, No.4, pp.1-4, 1999 |
6 |
An efficient Evolutionary Multi-objective Optimization algorithm. Shengjing Mu, Hongye Su, Yuexuan Wang and Jian Chu.Proceedings of the IEEE Congress on Evolutionary Computation, 2003, pp. 914-920, December 8 - 12, 2003, Canberra, Australia |
5 |
An lnfeasibility Degree Selection Based Genetic Algorithms for Constrained Optimization Problems. Mu Sheng-jing, Su Hong-ye, Wang Yue-xuan, Chu Jian. 2003 IEEE Congress on Evolutionary Computation,pp.1595~1594. December 8 - 12, 2003, Canberra, Australia, EI: 2003487751020 |
4 |
Optimal Realization of FWL Controller with Real Stability Radius Considerations. Xu Weihua, Hu Xiehe, Wang Yuexuan, Wu Jun, Chu Jian. Control Theory & Application. Vol.20, No.1: pp.136-138, 2003 |
3 |
COM-based Advanced Process Control Software and Its Applications. Wang Yuexuan, Su Hongye, Chu Jian. Control and Instrumentation for Chemical Industry. Vol. 29, No. 4, pp.1950- 1954, Aug. 2002 |
2 |
Object Callback Technology in Object Oriented Program. Wang Yuexuan, Qian Jintang.Computer Engineering, Vol. 26, No. 3. pp.103-104, 2000, EI: 2000095313653 |
1 |
An Analysis Method of Two-dimension Gas Mixture. Wang Yuexuan.Transaction of Hangzhou Institute of Electronic Industry, Vol.19, No.3 , pp.63-70, 1999.12 |
|
Back |
