张天

2009年获南京大学博士学位，现为南京大学计算机科学与技术系副教授、博士生导师，CCF形式化方法专委会委员，2015年任中国计算机学会青年学者论坛（CCF YOCSEF）南京主席。所研究工作主要涉及为模型驱动软件开发提供灵活的建模和转换机制以及可靠的形式化支撑。研究成果发表在国际知名会议和期刊70余篇（CCF-A和B类会议/期刊各10余篇），相关研究成果申请发明专利30余项。多项研究成果已在国内如华为、腾讯等多家领头企业中投入使用，知识产权转让费用100多万。