CHENDONG LI

Research Interests:

* Artificial Intelligence, Knowledge Representation, Constraint (Logic) Programming; 

* Combinatorial Optimization, Operations Research, Mathematical Programming, Local Search;

* Data Mining, Association Rule Mining.

Education:

University of Connecticut, Storrs, CT, USA  

* PhD student in Computer Science      

Aviation University, Changchun, China 

* B.E. in Computer Science & Engineering (Hons)       

* Thesis: Applications of Data Mining in Digital Libraries

Honors and Awards:

* Doctoral Student Consortium Scholarship, 25th International Conference on Logic Programming, ICLP 2009, July 2009

* Scholarship for the 3rd International Summer School on Logic Programming and Computational Logic, New Mexico State University, July 2008 

* Competitive Scholarship, High Performance Computing Center, Texas Tech University. Summer 2008 Computer Science Competitive Scholarship, Texas Tech University, Fall 2007 - Spring 2008 

* First Prize scholarship, Aviation University, 2003 - 2007 

* Distinguished student, Aviation University, 2003 - 2007 

* Second Prize, Composition Competition of College Student, 2003 

* Second Prize, Anti-SARS Competition of Solicit Articles, 2003 

* 1st Place Award, National Competition of Science for High School Students, 2000 

* 2st Place Award, National Competition of Science for High School Students, 1999 

Selected Publications:

1) C. Li. "Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality", In:  Proceedings of 25th International Conference on Logic Programming (ICLP2009), LNCS 5649, pp. 330-331, 2009. 

2) C. Li. "Towards the Healthy Nutritional Dietary Patterns", In: Proceedings of the 4th International Conference on Digital Information Management (ICDIM 2009), pp. 7-12, 2009. 

3) C. Li. "A Hybrid Model for Airport Gate Assignment Problems", In: Proceedings of 2009 International Conference on Artificial Intelligence (ICAI 2009), pp. 763-768, 2009. 

4) C. Li. "Extracting Healthy Nutritional Dietary Patterns with Association Rule Mining Techniques", In: Proceedings of the International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09), pp. 403-410, 2009. 

5) Y. Zhang, R. Yap, C. Li, S. Marisetti. "Efficient Algorithms on Functional Constraints", In: Proceeding of 24th International Conference on Logic Programming (ICLP 2008), LNCS 5366, pp. 606-620, 2008. 

6) Y. Zhang, R. Yap, C. Li, S. Marisetti. "An Elimination Algorithm for Functional Constraints", In: Proceedings of the 14th International Conference on the Principles and Practice of Constraint Programming (CP 2008), LNCS 5202, pp. 539-544, 2008. 

7) C. Li. "An Improved Algorithm Based on Graham Scanning", Journal of Application Research of Computers (Suppl.), 12: pp. 1113-1115, 2006.

Submitted Papers:

1) C. Li. "Towards the Patterns of Hard CSPs with Functional Constraints", Submitted to The Twenty-Fourth Conference on Artificial Intelligence (AAAI-2010), 2010.

2) C. Li. "Towards the Patterns of Hard CSPs with Association Rule Mining", Submitted to The 6th International Conference on Data Mining (DMIN'10), 2010.

3) C. Li. "On the Novel Applications of Functional Constraints", Submitted to The 2010 International Conference on Artificial Intelligence (ICAI'10 ), 2010.

Research Posters:

1) Y. Liu, C. Li. "Extracting Healthy Nutritional Dietary Patterns with Association Rule Ming and Constraint Handling Rules", In: The Ninth Annual Graduate Student Research Poster Competition, Texas Tech University, Lubbock, March 2010.

2) C. Li. "A Hybrid Model and its Implementation for Airport Gate Assignment Problems ", In: The Eighth Annual Graduate Student Research Poster Competition, Texas Tech University, Lubbock, April 2009.

3) C. Li, Y. Liu. "An Efficient Elimination Algorithm for Two Integer Variables per Inequality", In: The Eighth Annual Graduate Student Research Poster Competition, Texas Tech University, Lubbock, April 2009. 

4) C. Li. "Airport Gate Assignment: New Model and Implementation", In: INFORMS Annual Meeting 2008, Washington DC, October 2008. 

Technical Reports:

1) C. Li. "Large Scale Optimization Problems and Condor:  A Brief Overview", Research Report, UCONN, September 2009.

2) C. Li. "Computational Studies on MIPLIB 3.0 in CLPEX 11.2", High Performance Computing Center, TTU, August 2009.

3) C. Li. "Experimental Studies on Computer Chess Programs: Gnuchess and MKGIchessclub", High Performance Computing Center, TTU, July 2008.

4) C. Li. "Experimental Reports on Elimination Algorithms of Functional Constraints", Research Report, TTU, April 2008.

5) C. Li. "Airport Gate Assignment Problems", Research Report, TTU, December 2007.

Working Papers:

1) J. Wang, C. Li, H. He. "An Approximation Algorithm of Solving the Chinese Kidney Black Market Problem", 2009.

2) C. Li. "Toward Discovering More Feasible Solutions with Piecewise Linear Optimization for Mixed-Integer Programming", 2009. 

3) C. Li. "Collaborative Constraint Solving Techniques on Integrating A General MIP Solver and CP Solver", 2009. 

4) C. Li. "Solving Two Integer Variables per Inequality (TVPI) via Constraints Composition and Elimination Algorithms", 2009.

Published Essays & Articles:

1) C. Li. "Cracking GRE, Challenge Ourselves!" Guide to College English, (30):59-60, November 2006.

2) C. Li. "Find a Part-time Job This Summer Holiday?" Guide to College English, (28):59-60, June 2006.

3) C. Li. "Shall We Fight against Japanese Goods?" Guide to College English, (24):60-61, 2005.

4) C. Li. "The Secrete Skill to Save Web Pages Online" Scientific Times of Network, (78):47-47, 2005.

5) C. Li. "Shall We Go Abroad to Study after Graduation?"  Guide to College English, (18):58-59, 2005.

6) C. Li. "Ways of Trisecting a Straight Line Using Rulers and Compasses" The Sciences of Youth, (2):15-15, February 2005.

7) C. Li. "Shall We Buy Second-hand Textbooks?" Guide to College English, (13):61-61, July 2004. 

8) C. Li. "Have You Turned off Your Mobile Phone?" Guide to College English, (11):60-60, May 2004. 

9) C. Li. "Where Does Our Money Come From?" Guide to College English, (7):60-60, December 2003.

Research Experience: 

Research Assistant at The University of Connecticut, Storrs, CT, USA  ||  August 2009 - Present 

* Focus on Large Scale Optimization, Condor, Comet Project, including Local Search, Distributed Computing; 

* Large Scale Optimization in COMET; Investigate on the problem of VRPTW, BMI 

Graduate Assistant at the High Performance Computing Center, Texas Tech University, Lubbock, TX, USA   || May 2008 - August 2009

* Working on Computer Chess Programs, including GNU chess, analyzing the scoring algorithms, parallel computing algorithms; 

* Branch-and-Cut Approaches for Nonlinear and Mixed-Integer Programming (National Science Foundation, CMMI-0620755), reformulated the problem with piecewise linear function, transformed the MIP to Nonlinear program; Carried out experimental studies on the new algorithm in Cplex and C++; 

* Elimination Algorithms for Solving Two Variables per Inequality (TVPI) with Functional Constraints; Surveyed state-of-the-art algorithms on TVPI; Proposed new representation form from the perspective of CSP; Designed a new algorithm and implemented it; Currently carrying on experimental study and testing the algorithms in C++; Documenting the new algorithm and its implementation. 

Research Assistant at Texas Tech University, Lubbock, TX, USA || January 2008 - April 2008

* Working on functional constraints and implementing a functional CSP solver;

* Empirical Study on Functional Constraints:  Algorithm and Implementation. Designed new algorithms and data structures for functional constraints; Implemented algorithms in C++ and integrated them with a general CSP solver; Tested the integrated solver systematically with batch files in Unix; Carried on the experimental study on the new algorithms and documented them. 

Student Investigator at Texas Tech University, Lubbock, TX, USA  ||  February 2009 - August 2009

* Focus on applying the data mining techniques in healthy nutritional dietary problems;

* Investigation on Healthy Nutritional Patterns (HNP), Proposed a cascaded approach to extract Healthy Nutritional Patterns with WEKA for the first time;

* Investigation on Hard CSPs Patterns via Data Mining, Discovered the characteristic of the distributions of hard CSPs with functional constraints;

* Investigation on Applications of Functional Constraints. Proposed three brand new application areas, from theoretical significance to practical applications, for functional constraints;

* Extending S.M. Johnson's Algorithm to solve n-machine Flow-shop Problems; proposed a new algorithm based on S.M. Johnson's Algorithm to solve Flow-shop problems. Furthermore, proposed a new algorithm to solve Traveling Salesman Problems. 

Student Investigator at Texas Tech University, Lubbock, TX, USA  ||  August 2007 - January 2008

* Focus on the airport gate assignment problem, carried out a case study on Houston George Bush Intercontinental Airport (IAH);

* Algorithms and Applications of Constraint Programming on Airport Gate Assignment Problem, Surveyed the generic mathematical models on airport gate assignment problem and problem solving techniques; Designed a new model and implemented it in Optimization Programming Language (OPL); Applied the model to Houston International Airport; Tested the model, collected experimental results and documented them. 

Student Assistant  at the Key Laboratory of Symbolic Computation & Knowledge Engineering (SCKE), Ministry of Education, Changchun, China ||  May 2006 - December 2006

* Working on general product configuration problems and the logical constraints solving techniques; 

* Product Configuration Based on Constraint Reasoning (Natural Science Foundation of Jilin Province of China, Grant No.20040526). Surveyed the state-of-the-art method of solving logical constraints and their applications in supply chains (logistics network) and BOMs; Proposed an effective way to convert logical constraints to linear algebraic equations;

* Constraint Reasoning and Constraint Programming (China National Natural Science Foundation, Grant No. 60073039 and No. 60473003).  Proposed a new approach named "Truth Graph" to solve logical constraints efficiently.

* Involved Project: Automated Reasoning for Non-classical Logics (Natural Science Foundation of China under Grant No.60273080). 

* Involved Project: Constraint Reasoning and Development of Constraint Programming (Outstanding Youth Foundation of Jilin Province, China, under Grant No.20030107). 

* Found three effective algorithms to determine convex hulls for planar points: Improved Graham Algorithm, the Qickhull and the Parallelhull (NEW) algorithm.

Working Experience: 

High Performance Computing Center, Texas Tech University, Lubbock, TX, USA  ||  May 2008 - August 2009

* Working on optimization packages like APPSPACK, CPLEX 11.2, AMPL, SCIP 1.0 etc;

* Studies on Computer Chess Programs.  Installed and maintain Tech Chess Sever, based on MKGIchessclub; worked on computer chess programs, such as gnuchess, crafty, etc.  Analyzed the move generator, evaluator of the chess programs and optimization; carried out experimental studies, such as machine against machine and documented the results; complied chess engine to  run on 4 CPUs simultaneously;

* Systematically test on APPSPACK 5.0.1 (Asynchronous Parallel Pattern Search. Proof-read the documentation of the optimization software and prepared the tutorial for the package; 

* Tested the coding and modeling; Coded complicated examples in C++ and testing them by submitting the jobs to clusters; Collected computational results and documenting them;

* Parallel Studies on Optimization Problems in CPLEX. Proofread the documentation of the optimization software and prepared the tutorial for the package; tested the coding and modeling; coded complicated examples in C++ and testing them by submitting the jobs to clusters; 

* Collected computational results and documented them; parallel CPLEX, AMPL, SCIP, etc.

Membership & Organizations: 

* Membership of Constraint Programming Society in North America (CPNA) 

* Membership of The Institute for Operations Research and the Management Sciences (INFORMS) Membership of INFORMS Computing Society (ICS)

* Student Membership of The Society for Industrial and Applied Mathematics (SIAM) Student Membership of The Institute of Mathematical Statistics (IMS) 

* Student Membership of National Society of Professional Engineers (NSPE) Student Membership of Texas Society of Professional Engineers (TSPE) 

* Student Membership of The National Safety Council (NSC)

Professional Activities: 

* Reviewer, International Journal of Computational Science (JoCS)

* Ad Hoc Reviewer, International Journal of Operations Research and Information Systems (IJORIS) 

* Sections Chair, 2009 International Conference on Artificial Intelligence and Pattern Recognition, Orlando, FL, USA

* Reviewer, The 4th International Conference on Digital Information Management (ICDIM 2009), Ann Arbor, MI, USA

* PC member,The Second International Conferences on Pervasive Patterns and Applications (PATTERNS 2010), Lisbon, Portugal 

* PC member, The 6th International Conference on Natural Computation (ICNC'10), Yantai, China 

* PC member, The 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2010), University of Greenwich, London, United Kingdom 

* PC member, 2010 International Conference on Computational Science (ICCS 2010), University of Amsterdam, The Netherlands 

* PC member, The 5th International Conference on Digital Information Management (ICDIM 2010), Ontario, Canada 

* PC member, The 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2010), Montreal, Canada 

* PC member, The 2010 International Conference on Computational Science and Its Applications (ICCSA 2010), Kyushu Sangyo University, Fukuoka, Japan

* PC member, The International Conference on Software, Services and Semantic Technologies (S3T '2010), Varna, Bulgaria 

* PC member, The Seventh International Symposium on Neural Networks (ISNN 2010), Shanghai, China 

* PC member, 2010 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10), Orlando, FL, USA 

* PC member/Reviewer, The Sixth International Conference on Algorithmic Aspects in Information and Management (AAIM 2010), Shandong University, Weihai, China 

* PC member, 2010 International Conference on Automation, Robotics and Control Systems (ARCS10), Orlando, FL, USA 

* PC member, 2010 International Conference on Software Engineering Theory and Practice (SETP10), Orlando, FL, USA 

* PC member, 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10), Orlando, FL, USA 

* PC member, (pending) The 20th International Conference on Inductive Logic Programming (ILP 2010), Firenze, Italy 

* PC member, (pending) The 14th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-2010), Hyderabad, India 

* PC member, (pending) The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010), Varna, Bulgaria 

* PC member, (pending) The fourth International Conference on Knowledge Science, Engineering and Management (KSEM'2010), Belfast, Northern Ireland, UK 

* PC member, The 2009 International Conference on Methods and Models in Computer Sciences (ICM2CS-09), India 

Conference Presentations & Participations:

* Invited Presentation: 2008 INFORMS Annual Meeting, Washington D.C., USA, October 2008

* Participation: INFORMS Computing Society Annual Meeting, Washington D.C., USA, October 2008

* Participation: ILOG Cplex Optimization Technique Workshop, Washington D.C., USA, October 2008

* Presentation: 2009 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09), Orlando, USA, July 2009

* Presentation: The Fourth International Conference on Digital Information Management (ICDIM 2009), Ann Arbor, USA, November 2009

* Presentation: The 25th International Conference on Logic Programming (ICLP 2009), Pasadena, USA, July 2009

* Participation: Twenty- First International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, USA, July 2009

* Participation: Twenty- First IAAI Conference on Artificial Intelligence (IAAI 2009), Pasadena, USA, July 2009

Programming Skills:

* Experienced C and C++ programmer

* General familiarity with the Java, Python, Visual Basic, Pascal, Fortran, HTML, Linux shell scripting, LATEX2", FoxBase 

* Scientific Computing Software: Matlab, SPSS, R, ILOG CPLEX, OPL studio, Comet, AMPL OS: Unix, Linux, Windows Vista/XP/ME/2000/98, Macintosh