吴为民
大家好我是小蝌蚪，吴为民，关于吴为民的基本详情介绍很多人还不知道，那么现在让我们一起来看看吧！
1、吴为民，男，1966年8月生，博士，副教授。
2、研究方向：数字系统设计自动化，嵌入式系统，形式验证。
3、主要研究兴趣：数字系统的设计方法学。
4、包括：1. 嵌入式系统的软/硬件协同设计技术，2. 系统芯片（SOC)的设计、验证、及测试技术。
5、3. VLSI的划分、布局、布线、及综合技术。
6、4. 形式验证技术，包括可满足性（SAT）求解和基于SAT的模型检验技术。
7、5. 与以上技术相关联的图论算法、搜索算法、及优化算法。
本文关于吴为民的基本详情介绍就讲解完毕，希望对大家有所帮助。