陈矗，男，副教授，博士，硕士生导师，中国计算机学会（CCF）形式化方法专业委员会执行委员，IEEE会员。

主持山东省自然科学基金面上项目1项、教育部科技司CERNET项目1项、校级科研项目2项、校级实验教改项目1项；参与国家自然科学基金重点项目2项、国家自然科学基金青年项目1项、山东省自然科学基金项目1项。学术代表作有ICSE（CCF A类）和TOSEM（CCF A类）学术论文等；获得发达国家（美国）发明专利授权1项、中国发明专利授权1项。主编或副主编教材4部，指导CUMCM省级一等奖等。

研究方向：软件可靠性与安全性检测研究

招生方向：计算机科学与技术（学硕）、电子信息（专硕）

联系方式：[email protected]