陳鏡超

in log 和

陳鏡超，日本北海道大學博士，曾先後在日本安川情報系統公司系統、上海交通大學計算機、朗訊科技貝爾實驗室中國基礎研究院工作。短期訪問過加拿大Alberta大學和波蘭華沙大學。07年至12年期間擔任國際學術雜誌《AdvancesinComputerScienceandEngineering》編委。
2005年7月赴美國德州大學奧斯汀分校做了題為“AlgorithmsVerifiedwithMizar”的學術報告
2005年10月赴英國劍橋大學做了題為“ModernSorting:Adaptivity,CachesandAutomatedReasoning”的學術報告
在排序算法和SAT求解器方面，取得多項重要成果。陳鏡超開發的SymmetryPartitionSort是目前最快的O(nlogn)時間的排序算法，已經作為一種排序算法的新標準。提出過多種SAT問題求解技術，在SAT國際比賽中獲得多個獎項。2011年，陳鏡超開發的求解器MPhaseSAT_M、MPhaseSAT64分別獲得SAT2011國際比賽隨機UNSAT類第二名、套用類SAT類第三名。2012年，陳鏡超開發的互動式多引擎SAT求解器interactSAT_c獲得SATChallenge2012國際比賽的冠軍。參見：http://satcompetition.org/和http://baldur.iti.kit.edu/SAT-Challenge-2012/