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