来源：互联网

张霖涛，微软亚研专家。

所获荣誉

2020年11月，因在具有高效布尔可满足性求解器的计算机辅助验证方向做出贡献，入选IEEE Fellow。

参考资料 >

IEEE Fellow 2021 完整名单及2012-2020 IEEE Fellow 华人名.EDN.2021-01-16