陈镜超

信息科学与技术学院教授、博士生导师。07年至12年期间担任国际学术杂志《AdvancesinComputerScienceandEngineering》编委,08年国际学术会议“The4thIASTEDInternationalConferenceonAdvancesinComputerSciencesandTechnology(ACST2008)”程序委员会成员,2009年国际学术会议“TheIASTEDInternationalConferenceonAdvancesinComputerScienceandEngineering(ACSE2009)”程序委员会成员,08年至12年国际学术会议IMETI程序委员会成员。
研究方向：

算法分析与设计，排列组合与优化，自动演绎推理，网络通信，网络信息安全，机械化证明，中文信息处理。。
荣誉及获奖情况:
陈镜超，求解器interactSAT_c，SATChallenge2012国际比赛，组合难题组交互式多引擎类第一名陈镜超，求解器MPhaseSAT_M，SAT2011国际比赛，随机UNSAT类（cpu时间）第二名，（wc时间）第三名陈镜超，求解器MPhaseSAT64，SAT2011国际比赛，应用类SAT类第三名。
近几年发表的论著:
发表的主要论文1.J.C.Chen,interactSAT{_c}:InteractiveSATSolversandgluedyphase:ASolverwithaDynamicPhaseSelectionStrategy,ProceedingsofSATChallenge2012,pp.28-30,2012.2.J.C.Chen,SolvingRubik'sCubeUsingSATSolvers，TheworkshopofSATforPracticalApplications(SPA2011)，AnnArbor,USA,2011,http://arxiv.org/abs/1105.14363.J.C.Chen,AnewSATencodingoftheat-most-oneconstraint,Proc.oftheTenthInt.WorkshopofConstraintModelingandReformulation,UK,2010.4.J.C.Chen,BuildingaHybridSATSolverviaConflict-driven,Look-aheadandXORReasoningTechniques,SAT2009,Swansea,UK,pp.298-311,2009.5.J.C.Chen,IterativeRoundingfortheClosestStringProblem,AbstractBooklet,5thConferenceonComputabilityinEurope(CiE2009),Heidelberg,Germany,pp.89-98,2009.6．J.C.Chen,Symmetrypartitionsort,Software-PracticeandExperience,38,pp.761-7732008.7.J.C.Chen,PhaseSelectionHeuristicsforSatisfiabilitySolvers,2011,http://arxiv.org/abs/1106.13728.J.C.Chen,ExploitingDynamicallyPropositionalLogicStructuresinSAT,2011,http://arxiv.org/abs/1106.13709.J.C.Chen,ADynamicPhaseSelectionStrategyforSatisfiabilitySolvers，2012，http://arxiv.org/abs/1208.161310.J.C.Chen,EfficientsamplesortandtheaveragecaseanalysisofPEsort,TheoreticalComputerScience,Vol.369,pp.44-46,2006.11.J.C.Chen,Asimplealgorithmforin-placemerging,InformationProcessingLetters,Vol.98,pp.34-40,2006.12.J.C.Chen,BuildinganewsortfunctionforaClibrary,Software-PracticeandExperience,34,8,777-795,2004.13.J.C.Chen,Optimizingstablein-placeMerging,TheoreticalComputerScience,Vol.302/1-3pp.191-210,200314.J.C.Chen,Proportionextendsort,SIAMJournalonComputing,Vol.31,No.1,2001,pp.323-330.15.J.C.Chen,Quadripartitesort,JournalofAlgorithms28,pp.258-271,1998.16.J.C.Chen,Proportionsplitsort,NordicJournalofComputing3,pp.271-279,1996.17.J.C.Chen,AnEfficientNon-probabilisticSearchAlgorithmfortheN-queensProblem,TheThirdIASTEDInternationalConferenceonAdvancesinComputerSciencesandTechnology(ACST),Phuket,Thailand,2007.18J.C.Chen,Anewheuristicalgorithmforthecloseststringproblem.Proc.ofthe3rdInternationalConferenceonComputing,CommunicationsandControlTechnologies,Austin,USA.323-327,2005.19.J.C.Chen,Non-deterministicmulti-proberouting.Proc.ofthesecondIASTEDInternationalMulti-ConferenceonCommunicationSystems(ACIT-CS),Novosibirsk,Russia.134-139,2005.20.J.C.Chen,Efficientheuristicalgorithmsforfindingmulti-constrainedpaths,Proc.ofthe2002IEEEInternationalConferenceonCommunications,NewYork,USA,2002.21.J.C.Chen,AnImprovementontreeselectionsort,Proc.ofthe4thWorkshoponAlgorithmEngineeringandExperiments(ALENEX02),LectureNotesinComputerScience,LNCS2409,Springer,pp.194-206,USA,2002.
研究成果:
我们新近开发的SymmetryPartitionSort是目前最快的O(nlogn)时间的排序算法，胜过了剑桥大学图灵奖获得者Hoare的O(n^2)时间的Quicksort(快速排序)，并被Cluster3.0（http://bonsai.hgc.jp/~mdehoon/software/cluster/software.html)等软件使用。我们首次在Mizar系统上用形式化方法严格证明了Quicksort和Dijkstra最短路径算法的正确性。2010年，我们提出了一种可以有效解决AMO约束的积（product）SAT编码方案，并用该编码方案求解了魔方问题。2012年，我们提出了交互式多引擎SAT求解技术，并获得SATChallenge2012国际比赛的一项冠军.
国际交流与合作:
1997年~2002年期间曾先后多次短期赴波兰华沙大学、加拿大Alberta大学、日本信州大学做合作研究。学术报告：2005年7月赴美国德州大学奥斯汀分校做了题为“AlgorithmsVerifiedwithMizar”的学术报告2005年10月赴英国剑桥大学做了题为“ModernSorting:Adaptivity,CachesandAutomatedReasoning”的学术报告
讲授课程:
面向对象程序设计语言,信息论与编码,人工智能,数据库系统原理,多媒体技术，网络信息安全，创新思维与方法
办公室电话:021-67792330
电子邮箱地址:chen-jc@dhu.edu.cn