吴为民（关于吴为民的简介）

大家好，吴为民，关于吴为民的简介很多人还不知道，现在让我们一起来看看吧！

1、吴为民，男，1966年8月生，博士，副教授。

2、研究方向：数字系统设计自动化，嵌入式系统，形式验证。

3、主要研究兴趣：数字系统的设计方法学。

4、包括：1. 嵌入式系统的软/硬件协同设计技术，2. 系统芯片（SOC)的设计、验证、及测试技术。

5、3. VLSI的划分、布局、布线、及综合技术。

6、4. 形式验证技术，包括可满足性（SAT）求解和基于SAT的模型检验技术。

7、5. 与以上技术相关联的图论算法、搜索算法、及优化算法。

本文关于吴为民的简介就讲解完毕，希望对大家有所帮助。