Simone
吴为民，男，1966年8月生，博士，副教授。研究方向：数字系统设计自动化，嵌入式系统，形式验证。主要研究兴趣：数字系统的设计方法学。包括：1. 嵌入式系统的软/硬件协同设计技术，2. 系统芯片（SOC)的设计、验证、及测试技术。3. VLSI的划分、布局、布线、及综合技术。4. 形式验证技术，包括可满足性（SAT）求解和基于SAT的模型检验技术。5. 与以上技术相关联的图论算法、搜索算法、及优化算法。
想要了解更多“吴为民（北京交通大学计算机系副教授）”的信息，请点击：吴为民（北京交通大学计算机系副教授）百科
