该人员为东南大学计算机学院讲师，拥有博士学位，主要研究领域涵盖软件建模与验证、信息物理融合系统、形式化方法。当前公开信息中未披露其姓名、职务、教育背景、工作经历、科研项目、论文著作、专利、获奖情况及邮箱、电话等私人联系方式，仅公开了通信地址、邮政编码及办公地点相关公开信息。

杨立仁2013年本科毕业于上海交通大学，2020年博士毕业于美国密歇根大学（安娜堡），随后于密歇根大学电子工程与计算机科学系开展博士后研究（2020-2022），2022年至2025年就职于华中科技大学人工智能与自动化学院，2025年9月入职东南大学数学学院系统科学系。主要研究方…

该导师1988年获山东大学计算机应用软件专业学士学位，1991年获南京大学计算机软件专业硕士学位，1998年获上海交通大学计算机软件专业博士学位，2001年5月至2002年4月作为访问学者赴英国诺丁汉大学进修。工作经历方面，1991年7月至1994年11月任教于山东大学威海分校计…

本导师1988年获山东大学计算机应用软件专业学士学位，1991年获南京大学计算机软件专业硕士学位，1998年获上海交通大学计算机软件专业博士学位，2001年5月至2002年4月作为访问学者赴英国诺丁汉大学进修。工作经历方面，1991年7月至1994年11月任教于山东大学威海分校计…