郭兰坤,男,博士,教授,博士生导师。
教育背景:
2001.09-2005.08 湖南大学数学学院 本科
2005.09-2007.08 湖南大学数学学院 硕士
2007.09-2011.06 湖南大学数学学院 博士
2008.09-2010.06 美国凯斯西储大学计算机系 联合培养博士
工作经历:
2011.07-2014.07 湖南大学信息科学与工程学院 博士后
2012.09-2013.09 加拿大魁北克大学蒙特利尔分校 博士后
2014.07-2015.12 红世一足666814 讲师
2016.01-2022.12 红世一足666814 副教授
2023.01-至今 红世一足666814 教授
教学育人:
承担本科生《一般拓扑学》《高等数学》《离散数学》《图论》的教学、研究生《交换代数引论》《格论》的教学。已培养硕士研究生6人,正在培养博士研究生1名。
科学研究:
研究领域:模糊数学、格上拓扑学、概念格理论及其应用、人工智能、自适应学习。
(1)实现了几种重要Domain结构的表示,部分回答了图灵奖得主D. S. Scott提出的Domain结构集族表示问题,为Domain理论在人工智能领域中的应用奠定了数学基础;利用Scott型信息系统,实现了代数L-domain和L-domain的表示,进一步丰富了Domain结构表示理论。
(2)利用范畴论的工具,将闭包系统、闭包算子和Galois联络的相互关系推广至最一般情形。
(3)基于形式概念分析,将格上拓扑学和大数据分析的相关方法巧妙融合,针对问题链的设计,提出了一种数学模型,系统研究了问题链排序策略的稳定性;基于连续Domain的表示理论,利用Schema理论和三支决策理论,提出了一种可支持个性化学习的学习路径推荐策略。
研究项目:主持完成国家自然科学基金面上项目1项、国家自然科学基金青年基金项目1项、湖南省自然科学基金优秀青年项目1项、湖南省教育厅重点项目1项,湖南省自然科学基金青年项目1项、湖南省教育厅优秀青年项目1项、留学回国人员科研启动基金1项、中国博士后基金面上项目1项、湖南省优秀博士学位论文资助项目1项。
代表性成果:
[1] L. Guo, Z. Jia, G. Ma*, J. Li, An iterative recommendation model of supporting personalized learning based on schematic patterns mining from schema-enhanced contexts of problem-solving, International Journal of Machine Learning and Cybernetics, DOI: 10.1007/s13042-022-01525-7 (2022).
[2] L. Guo*, Z. Jia, Q. Li, J. Dai, Steadiness analysis of means-end conceptual paths and problem-chains based on concept lattices and similarity measuring, International Journal of Machine Learning and Cybernetics, 13(3) (2021) 691-719.
[3] L. Wang, L. Guo*, Q. Li*, Continuous domains in formal concept analysis, Fundamenta Informaticae, 179 (2021) 295-319.
[4] L. Guo*, Q. Li, G.-Q. Zhang, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, International Journal of Approximate Reasoning, 114 (2019) 29-43.
[5] L. Guo*, Q. Li, L. Yao, Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains, Discrete Applied Mathematics, 249 (2018) 53-63.
[6] L. Guo*, Q. Li, P. Valtchev, Y. Lin, Representation of algebraic domains by formal association rule systems, Mathematical Structures in Computer Science, 27 (2017) 470-490.
[7] M. Wu, L. Guo*, Q. Li*, A representation of L-domains by information systems, Theoretical Computer Science, 612 (2016) 126-136.
[8] L. Guo, Q. Li*, G.-Q. Zhang, A note on L-fuzzy closure systems, International Journal of Fuzzy Systems, 18(1) (2016) 110-118.
[9] L. Guo, Q. Li*, The categorical equivalence between algebraic domains and F-augmented closure spaces, Order, 32 (2015) 101-116.
[10] L. Guo, Q. Li*, M. Huang, A categorical representation of algebraic domains based on variations of rough approximable concepts, International Journal of Approximate Reasoning, 55 (2014) 885-895.
[11] L. Guo, Q. Li*, X. Jia, On the order-theoretical properties of lower concept formula systems, Soft Computing, 18 (2014) 207-216.
[12] Q. Li, L. Guo*, Formal query systems based on concept lattices and its representation to algebraic lattices, Information Sciences, 239(1) (2013) 72-84.
[13] L. Guo, F. Huang, Q. Li, G.-Q. Zhang*, Power contexts and their concept lattices, Discrete Mathematics, 311 (2011) 2049-2063.
[14] L. Guo, G.-Q. Zhang, Q. Li*, Fuzzy closure systems on L-ordered sets, Mathematical Logic Quarterly, 57(3) (2011) 281-291.
[15] L. Guo, Q. Li, P. Valtchev, R. Godin, A note on finitely derived information systems, Electronic Notes in Theoretical Computer Science, 301 (2014) 49-59.
[16] L. Guo, Q. Li, P. Valtchev, R. Godin, Formal F-contexts and their induced implication rule systems, Lecture Notes in Computer Science, 7880 (2013) 141-155.
所获荣誉:
获“湖湘青年英才支持计划”资助(2017年)
获湖南省自然科学奖一等奖(2014年,第四完成人)
博士毕业论文被评为湖南省优秀博士学位论文(2013年)
兴趣爱好:篮球、乒乓球