王彬,女,1977年生,工学博士,副教授,2014年获国家留学基金委资助美国杜克大学访问学者。正在主持国家自然科学基金“实时领域交互行为模型转换方法及非功能语义规约研究”;作为主要成员参与863子课题、国家自然科学基金项目、国家发改委项目、云南省自然科学基金重点项目等多项科研项目。近年来在国内外期刊及会议上发表论文20余篇,其中SCI/EI/ISTP收录12篇。出版译著3部共计70余万字,其中“十一五”国家重点图书出版规划项目1项,“十二五”国家重点图书出版规划项目2项。主讲本课程第二章。