罗凯伦,男,于2020年在中山大学获得计算机博士学位,研究领域为人工智能中的知识表示与推理(KRR)。在IJCAI、AAAI、ECAI等国际顶级和知名会议(CCF A类B类)发表多篇论文。担任国际顶级会议IJCAI审稿人。研究兴趣包括人工智能中的动作理论的泛化与通用能力研究;多智能体系统的策略表示与推理; 形式化概念,如程序循环不变式、状态自动机、智能体策略和智能体抽象等的自动验证、学习与综合。目前的研究方向还包括强化学习与知识表示的结合,自动化测试和安全协议的形式化验证。
目前主持国家自然科学基金青年项目1项,参与国家重点研发计划1项。