研究方向

个人简介

杨立仁2013年本科毕业于上海交通大学，2020年博士毕业于美国密歇根大学（安娜堡），随后于密歇根大学电子工程与计算机科学系开展博士后研究（2020-2022），2022年至2025年就职于华中科技大学人工智能与自动化学院，2025年9月入职东南大学数学学院系统科学系。主要研究方向为系统安全、形式化方法、混合系统形式化分析等，目前已在控制领域与系统安全领域顶级/权威期刊发表十余篇高水平学术论文。主持国家自然科学基金青年基金项目1项，参与国家自然科学基金重点国际合作与交流项目1项，同时担任第26、27、28届ACM International Conference on Hybrid System: Computation and Control (HSCC)程序委员会委员。

资料摘录

暂无可展示的学位或研究成果数据