陳鏡超

陳鏡超,1961年11月出生。東華大學信息科學與技術學院計算機科學學科教授、博士生導師。主要研究成果有:為C語言標準函式館構建了一個命名為Psort的排序函式,Psort 具有速度快、健壯性強和較好的自適應性等特點,可以作為一個標準的排序函式來使用。

2007年至2016年期間擔任國際學術雜誌《Advances in Computer Science and Engineering》編委。2008年國際學術會議“The 4th IASTED International Conference on Advances in Computer Sciences and Technology (ACST 2008)”程式委員會成員。2009年國際學術會議“The IASTED International Conference on Advances in Computer Science and Engineering (ACSE2009)” 程式委員會成員。2008年至2016年國際學術會議“The International Multi-Conference on Engineering and Technological Innovation (IMETI) ” 程式委員會成員。

基本介紹

  • 中文名:陳鏡超
  • 職業:教授
  • 畢業院校:武漢大學
經歷,研究方向,榮譽及獲獎情況,近年代表性的論文,

經歷

1983年畢業於武漢大學計算機系, 獲學士學位
1987年畢業於日本信州計算機專業,獲碩士學位
1990年畢業於日本北海道計算機專業,獲博士學位
2000年6月至2001年12月,朗訊科技貝爾實驗室中國研究院,高級研究員
1992年11月至2000年6月,上海交通大學,計算機系,副教授
2005年10月,應邀赴英國劍橋大學做學術報告
1999年9月至1999月12月,加拿大Alberta大學做合作研究,訪問學者
2002年11月至2002年12月,日本信州大學做合作研究,訪問學者
1997年6月至1997年7月,波蘭華沙大學做合作研究,訪問學者
1990年3月1992年11月,日本安川情報系統公司,軟體系統設計工程師
至今東華大學信息學院教授、博導

研究方向

算法設計與分析,可滿足性問題求解與編碼,網路信息安全,演繹推理與定理證明,計算機網路,模式識別,自然語言處理,人工智慧

榮譽及獲獎情況

2015年,國際SAT Race比賽 主類第一名
2014年,國際SAT比賽, Hard-combinatorial SAT+UNSAT類第一名
2014年,國際SAT比賽, Application SAT類第一名
2014年,國際SAT比賽, MiniSAT Hack-track, Application SAT+UNSAT類第二名
2013年,國際SAT比賽, MiniSAT Hack-track, Application SAT+UNSAT類第二名
2013年,國際SAT比賽, Hard-combinatorial SAT+UNSAT類第二名
2013年,國際SAT比賽, Hard-combinatorial SAT類第二名
2013年,國際SAT比賽, Random SAT+UNSAT類第三名
2012年,國際SAT比賽,多引擎組合類第一名
2011年,國際SAT比賽,隨機UNSAT cpu時間類第二名
2011年,國際SAT比賽,隨機UNSAT wc時間類第三名
2011年,國際SAT比賽,套用類SAT類第三名。

近年代表性的論文

1. J.C. Chen, MiniSAT_BCD and abcdSAT: solvers based on blocked clause decomposition,Proceedings of SAT Race 2015
2. J.C. Chen, A bit-encoding phase selection strategy for satisfiability solvers, in Proceedings of Theory and Applications of Models of Computation (TAMC'2014)}, ser. LNCS, vol. 8402, Chennai, India, 2014, pp. 158-167.
3. J.C. Chen, interactSAT{_c}: Interactive SAT Solvers and glue dyphase: A Solver with a Dynamic Phase Selection Strategy, Proceedings of SAT Challenge 2012, Trento, Italy, pp.28-30, 2012.
4. J.C. Chen, Solving Rubik's Cube Using SAT Solvers,The workshop of SAT for Practical Applications (SPA 2011),Ann Arbor, USA, 2011.
5. J.C. Chen, A new SAT encoding of the at-most-one constraint, Proc. of the 9th Int. Workshop of Constraint Modeling and Reformulation, St Andrews, UK, 2010.
6. J.C. Chen, Building a Hybrid SAT Solver via Conflict-driven, Look-ahead and XOR Reasoning Techniques, SAT 2009, Swansea, UK, pp.298-311,2009.
7. J.C. Chen, Symmetry partition sort, Software-Practice and Experience, 38, pp.761-773 2008.
8.J.C. Chen,Two-Fold Circle-Covering of the Plane under Congruent Voronoi Polygon Conditions,the conference book,ISCO 2016
9. J.C. Chen, Efficient sample sort and the average case analysis of PEsort, Theoretical Computer Science,Vol.369, pp.44-46, 2006.
10. J.C. Chen, A simple algorithm for in-place merging, Information Processing Letters,Vol.98,pp.34-40,2006.
11. J.C. Chen, Building a new sort function for a C library, Software-Practice and Experience,34, 8, 777-795,2004.
12. J.C. Chen, Optimizing stable in-place Merging, Theoretical Computer Science, Vol.302/1-3 pp.191-210, 2003
13. J.C. Chen, Proportion extend sort, SIAM Journal on Computing, Vol.31, No.1,2001, pp.323-330.

相關詞條

熱門詞條

聯絡我們