张霖涛
6
1
收藏
分享
张霖涛，微软亚研专家。
所获荣誉
2020年11月，因在具有高效布尔可满足性求解器的计算机辅助验证方向做出贡献，入选IEEE Fellow。
参考资料
IEEE Fellow 2021 完整名单及2012-2020 IEEE Fellow 华人名.EDN.2021-01-16
评论 1
重生62687
谢谢博主主的分享，期待更多精彩的比赛情报！
回复
Copyright © 1996-2025 DaHe Network Media. Group All Rights Reserved