计算理论与技术研究所（ Institute of Computing Theory and Technology ）是在原高可信软件实验室的基础上发展起来的，实验室由英国留学归国博士段振华教授于2003年10月创建。 2005年10月经校学术委员会正式批准成立研究所并更名为计算理论与技术研究所。研究所现有教师5名，其中教授（博导）1 名，副教授2名，讲师2名；研究生53名，其中博士生12名，硕士生41名。 段振华教授（博士）任所长， 鱼滨副教授（博士）任副所长。

    研究所现拥有2个实验室，其中高可信软件实验室40平米，互联网计算和互联网软件实验室140平米。实验室拥有 SUN 服务器2个， IBM 服务器1个， SUN 工作站3个， IBM工作站1个；高档 PC40多台。

    目前，研究所承担本科教学任务：‘软件工程'，‘编译原理'，‘数据库'，‘数据结构'等课程；硕士研究生教学任务：‘互联网计算（学位课）'，‘ Web 程序设计（选修课）'等课 程和 博士生教学任务：‘形式语义学'和‘验证技术'两门学位课程。

    研究所的科学研究主要集中在3个方向：（1）高可信软件技术，（2）互联网计算技术，（3）FPGA及SOPC 嵌入式软件技术。

    研究所先后承担国家纵向科研项目4个，获得资助329万人民币。其中，国家自然科学基金重点项目1项（框架时序逻辑程序设计，在研，180 万），自然科学基金面上项目 1 项（混合系统的形式验证（结题，评为优秀），24 万），教育部博士点基金项目1项（混合系统的模型检测及支持工具（结题），5 万），总装‘十一五'预研项目1项（*****开发方法及支持环境（在研），110 万）。

    研究所加强与国内外一流科研机构的合作与交流。在国际上，加强与英国、美国、日本、欧洲一流大学及奥门联合国大学软件技术研究所的合作与交流；在国内，加强与中科院软件所，电子所，北大，清华，复旦，浙大，华师大，国防科大，南大等知名大学的合作与交流。

    几年来，研究所在时序逻辑，时序逻辑程序设计，实时、混合系统验证，模型检测，Web Service的组合和验证 , P2P, 可重构 FPGA等相关领域取得了显著的研究成果，开发软件系统原型4个，出版专著（英文）2部，并在国际会议、期刊上发表论文30多篇。


    研究所研究方向介绍

    1. 高可信软件技术
    研究面向构件和服务、模型驱动的高可信软件开发方法、工具和环境。方法以模型驱动为核心，以生成面向构件和服务的软件体系为目的，以模型检测验证技术，测试技术和模拟技术为高可信保障。同时，该方法支持高效获取需求，需求验证和确认。依照该方法的过程模型，开发包括转换工具，验证工具，测试工具和模拟工具在内的支持环境。

    2. 互联网计算技术
    主要研究 Web 服务(Web Service)或服务计算（Service Computing），P2P计算（Peer to Peer Computing）和网格计算（Grid Computing）技术。在Web服务领域，集中研究基于SOA（ Service Oriented Architecture ）和SCA（ Service Component Architecture ）的Web服务的发现和合成；研究基于自动机的 Web 服务的语义描述和发现；研究BEPEL的由抽象描述到可执行代码的转换技术；研究BEPEL中服务的动态选择及动态合成技术。 在P2P领域，把混合P2P的洪泛技术（Flood）与纯P2P中Chord 的 DHT 技术相结合，创建分层的 P2P 体系结构（HP2P），使得网络稳定性和查找效率都得到改善。研究 HP2P 的体系结构；节点加入，离去算法，资源查找算法；研究 HP2P 的性能，如稳定性，可扩展性，有效性等。

    3.FPGA及SOPC嵌入式软件技术
    主要研究动态可重构的FPGA支持软件技术，包括综合技术，工艺映射技术，布局布线技术，仿真技术，下载技术以及芯片数据库的表达技术。同时，研究动态可重构条件下的嵌入式OS的调度算法和实现技术。研究基于可重构FPGA的嵌入式系统，SOPC技术。