蔡少伟(1986-),男,博士,研究员,博士生导师,主持国家优秀青年科学基金项目,多次获得约束求解领域著名国际比赛包括SAT比赛和SMT比赛冠军,获得SAT2021会议最佳论文奖.主要研究领域为约束求解,组合优化;陈振邦(1981-),男,博士,教授,博士生导师,主持国家自然科学基金多项,获NASAC青年软件创新奖、ACMSIGSOFT杰出论文奖两次.主要研究领域为程序分析,形式化方法及其应用;王戟(1969-),男,博士,研究员,博士生导师,CCF会士,CCF形式化方法专委会主任.主要研究领域为高可信软件;詹博华(1989-),男,博士,副研究员,硕士生导师.主要研究领域为交互式定理证明,嵌入式系统的建模与验证;赵永望(1979-),男,博士,教授,博士生导师,移动终端安全技术浙江工程研究中心主任,CCF杰出会员.主要研究领域为形式逻辑与验证,操作系统安全,编程语言原理.

蔡少伟,E-mail:caisw@ios.ac.cn