硕士生导师
性别：男
毕业院校：北京大学
学历：研究生
学位：博士
所在单位：计算机与通信工程学院
职务：计算机与通信工程学院计算机科学与技术系副主任
电子邮箱：
双向变换是一个可以按照正反两个方向执行的程序，并且能够从数学上保证正反两个方向的执行满足一致性约束。它是一个跨领域的研究方向，起源于经典的数据库视图同步问题，但引起了程序语言社区和模型驱动社区的较大关注。在我们之前的研究中，我们与胡振江教授合作研究了无二义性的双向模型转换语言XMU、建立了系统-模型同步框架、提出了双向模板语言BIT、研究了双向面向对象语言BiFJ。相关研究论文发表在FSE'18、IST、COMPSAC'17、Science China。我们会进一步围绕这一课题，从理论、语言、工具、应用这几个方面展开进一步研究。
