林瀚基本情况性别:男暂无图片
研究方向:理论计算机科学与人工智能
办公电话:
电子邮件:linhan095@gmail.com
个人主页:http://www.cs.sysu.edu.cn/~lh
详细介绍
联系方式:linhan095@gmail.com
教育背景:
本科阶段
1999.9-2003.7中山大学信息科学与技术学院计算机科学系计算机科学与技术专业,获理学学士学位
2003.9-2005.7中山大学信息科学与技术学院计算机科学系计算机软件与理论专业2005.9-2008.7中山大学信息科学与技术学院计算机科学系计算机软件与理论专业,获工学博士学位
研究兴趣:
- AlgorithmsandDataStructures:ExactandapproximationalgorithmsforSATandMAX-SAT,analysisofexponential-timealgorithms,etc.
- ComputationalComplexity:Hardnessforalgorithmicproblems.
- GameTheory:AlgorithmsandcomplexityforfindingNashEquilibrium.
- LogicinComputerScience:Temporallogics,epistemiclogics,etc.
- NetworkSecurity:Provablesecurityforpublic-keycryptosystems,formalmethodsforprotocolanalysis,etc.
- CompilerConstruction
- AlgorithmicNumberTheory
主要论文:
HanLin,KaileSuandChu-MinLi.Within-problemLearningforEfficientLowerBoundComputationinMax-SATSolving.InProceedingsofthe23rdAAAIConferenceonArtificialIntelligence(AAAI2008),July13-17,2008,Chicago,Illinois,USA,pages351-356.
KaileSu,AbdulSattar,HanLinandMarkReynolds.AModalLogicforBeliefsandProAttitudes.InProceedingsofthe22ndAAAIConferenceonArtificialIntelligence(AAAI2007),July22-26,2007,Vancouver,BritishColumbia,Canada,pages496-501.
HanLin,KaileSu.ExploitingInferenceRulestoComputeLowerBoundsforMAX-SATSolving.InProceedingsofthe20thInternationalJointConferenceonArtificialIntelligence(IJCAI2007),January6-12,2007,Hyderabad,India,pages2334-2339.