张霖涛

翼方健数首席科学家

张霖涛，微软亚研专家。2020年11月，因在具有高效布尔可满足性求解器的计算机辅助验证方向做出贡献，入选IEEE Fellow。[0]

张霖涛，微软亚研专家。

所获荣誉

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

参考资料 1

IEEE Fellow 2021 完整名单及2012-2020 IEEE Fellow 华人名 — EDN