研究所概况：
　　 软件理论与系统所是伴随软件学院的成立建立起来的一个集教学和科研两种职能为一体的研究所。该所现有教师9人，其中教授5人，海外客座教授1人，博士后2人。其中，林国恩、支志雄两位教授都是在国际一流大学获得博士学位、并在海外工作多年的外籍教授，向东教授为2004年度国家自然科学基金杰出青年基金获得者。 软件理论与系统研究所的定位就是紧紧围绕当前产业界的实际需求，以高可信软件系统相关问题作为研究方向，在软件理论、技术、工程三个层次开展研究，主要研究领域如下：分布式计算、容错计算;可信软件建模、度量与验证;IC测试、系统仿真与建模;中间件与平台;信息系统安全与风险评估;服务工程与管理。 围绕上述研究工作，研究所承担了多项国家（863、973、自然科学基金等）、地方和企业的各类科研项目，与企业合作开发出了应用软件支撑平台、安全中间件等产品，每年发表高水平学术论二十余篇。已申请十项国家发明专利三项美国发明专利。 目前，研究所在校的工程硕士研究生近百人，博士研究生16人，已培养了数百名毕业生。 每年研究所都会邀请国际知名学者来软件学院讲学、交流，如日本奈良先端科技大学、美国Florida Atlantic 大学、美国Oklohama大学、美国Portland大学、新加坡国立大学、荷兰Vrije大学等。通过这些学术交流和人员互派，为学生营造了一个高层次、国际化的学习、研究氛围。