名称：方良达
职称：副教授
研究方向：人工智能、机器学习
电邮：fangld@jnu.edu.cn
联系方式：南海楼420


教育背景
2011/09-2015/12，中山大学，计算机软件与理论，博士，导师：刘咏梅教授
2007/09-2010/06，广东工业大学，计算机系统结构，硕士，导师：余永权教授
2003/09-2007/06，广州大学，计算机科学与技术，本科


工作经历
2018/10至今，暨南大学，信息科学技术学院，计算机科学系，副教授
2016/02-2018/9，暨南大学，信息科学技术学院，计算机科学系，讲师
2017/11-2017/12，香港科技大学，计算机科学系，访问****，合作导师：林方真教授
2017/01-2017/02，格里菲斯大学，ASIT研究小组，访问****，合作导师：王克文教授
2016/03-2016/04，浙江大学，人文学院，访问****，合作导师：王轶、Hans van Ditmarsch
2014/09-2014/11，洛林计算机科学研究与应用实验室，CELLO研究小组，访问学生，合作导师：Hans van Ditmarsch


讲授课程
1.数理逻辑（博士课程）（2017年春季、2017-2018年秋季）
2.计算数学（博士课程）（2019年秋季）
3.计算机科学中的数理逻辑（硕士课程）（2017年春季、2018-2019年秋季）
4.数值分析基础/数值计算（2016-2019年秋季）
5.分布式计算（2017年春季）


招生意向
招收对象：有志于未来从事人工智能方向的硕士研究生和保研本科生
学生要求：坚持努力、追求卓越



科研成果
1. 国家自然科学基金（青年科学基金项目），**，多智能体模态逻辑中的遗忘理论及其应用，2017/01-2019/12，已结题，主持
2.国家自然科学基金（面上项目），**，智能工厂的自动验证与合成，2018/01-2021/12，在研，参加
3.国家自然科学基金（面上项目），**，脑控重复经颅磁刺激系统关键技术及应用研究，2018/01-2021/12，在研，参加
4.国家自然科学基金（青年科学基金项目），**，基于复合趋势表示和稀疏限制的资产配置算法研究，2018/01-2020/12，在研，参加


研究论文
*: Corresponding author
[1]Kaisheng Wu, Yong Qiao, Kaidong Chen, Fei Rong,Liangda Fang*, Zhao-Rong Lai, Qian Dong, Liping Xiong. Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020). (CCF B)
[2]Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu. Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. In Proceedings of 2019 International Conference On Computer Aided Design (ICCAD-2019), 2019. (CCF B)
[3]Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen. Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2019), 2817-2826, 2019. (CCF A)
[4]Xuanxiang Huang, Kehang Fang,Liangda Fang*, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2019), 2867-2875, 2019. (CCF A)
[5]Liangda Fang, Yongmei Liu, Hans van Ditmarsch. Forgetting in multi-agent modal logics. Artificial Intelligence, 266: 51-80, 2019. (CCF Rank A)
[6]Zhao-Rong Lai, Pei-Yi Yang,Liangda Fang,Xiaotian Wu. Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers. Journal of Machine Learning Research, 19:1-28, 2018. (CCF A)
[7]Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen. Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoninge (KR-2018), 637-638, 2018. (CCF B)
[8]Zhao-Rong Lai, Pei-Yi Yang, Xiaotian Wu,Liangda Fang. A kernel-based trend pattern tracking system for portfolio optimization. Data Mining and Knowledge Discovery, 32(6): 1708-1734, 2018. (CCF B)
[9]Pei-Yi Yang, Zhao-Rong Lai, Xiaotian Wu,Liangda Fang. Trend representation based log-density regularization system for portfolio optimization. Pattern Recognition, 76: 14-24, 2018. (CCF B)
[10]Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhaorong Lai. Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting – Application to Belief Update and Conservative Extension. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2018), 1835-1844, 2018. (CCF A)
[11]Liangda Fang, Yongemei Liu, Hans van Ditmarsch. Forgetting in Multi-Agent Modal Logics. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016), 1066-1073, 2016. (CCF A)
[12]Liangda Fang, Yongmei Liu, Ximing Wen. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), 2955-2963, 2015. (CCF A)
[13]Hai Wan, Rui Yang,Liangda Fang, Yongmei Liu, Huada Xu. A Complete Epistemic Planner without the Epistemic Closed World Assumption. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), 3257-3263, 2015. (CCF A)
[14]Liangda Fang. High-Level Program Execution in Multi-Agent Settings. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence Doctoral Consortium Program (IJCAI-2013 DC), 3213-3214, 2013. (CCF A)
[15]Liangda Fang, Yongmei Liu. Multiagent Knowledge and Belief Change in the Situation Calculus. In Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI-2013), 304-312, 2013. (CCF A)