卢永江，男，浙江慈溪人，1976年7月出生，博士，副教授。主讲课程：《计算机组成原理与体系结构》、《微机接口》、《软件工程》、《软件项目管理》、《数据库应用基础》、《计算机导论》、《计算机基础》。主要研究方向：计算机辅助软件设计，集成电路形式化验证。曾在《电路与系统》、《计算机辅助设计与图形学学报》、《浙江大学学报》(工学版) 国家一级期刊中发表多篇论文，其中以第一作者的论文发表3篇，在其它级别的期刊如《微电子学与计算机》、《电子计算机》等刊物中也有论文发表。曾参与国家重大863项目“基于超深亚微米物理级优化的SOC CAD 技术”，浙江省自然基金项目“VLSI/SOC设计的形式验证方法研究”，主持申请教育厅项目“VLSI电路的形式化验证方法研究”。

曾参与省部级及以上级别的项目主要有：

1. 国家重大863项目“VLSI/SOC设计的形式验证方法研究”及滚动项目（国家重大863项目）

2. “基于超深亚微米物理级优化的SOC CAD 技术” （国家重大863项目）

3. “VLSI/SOC设计的形式验证方法研究”（浙江省自然基金项目）；

最具代表性的论文：

1. 结合无依赖性割集和量化的等价性验证《电路与系统学报》, 第一作者

2. 利用改善的静态隐含策略加速等价性验证《计算机辅助设计与图形学学报》, 第一作者

3. 基于拓扑分析的多层通道布线算法《电路与系统学报》, 第一作者

4. 一种基于非严格预留层的双层通道布线算法《电子计算机》, 第一作者

5. 基于输出分组和电路可满足性的等价性验证技术《电子与信息学报》

6. 基于逻辑锥的割集在组合电路等价性验证中的运用《电路与系统学报》

7. 基于等价性验证的逻辑综合引擎设计研究《电路与系统学报》

8. 优化层分配的无网格详细布线算法

9. Equivalence Checking Using Independent cuts,ATS2003