该实验室(又名上海高校软件与理论研究中心)创建人是傅育熙教授，目的是研究计算的本质特征，以及随着现代计算概念的日益更新而不断产生的新问题。目前教师5人，学生20余人。研究领域包括：理论计算机科学、并发理论、交互理论、进程演算、计算机科学中的逻辑、计算复杂性和算法图论、形式化方法、程序理论和分析、无限状态系统验证、安全协议形式化分析、生物计算模型等。承担了近40项国家级、省部级项目，包括973、杰青等国家重大重点项目；与微软、英特尔、谷歌、IBM、腾讯等有密切的联系，并与法国、意大利、德国、日本、美国、英国等相关研究部门建立了良好的合作关系。举办了APLAS等国际会议，并每年主办“BASICS暑期研讨会和学习班”，以促进国内理论计算机科学发展。

近期部分重要成果：

(1) 交互理论给出了研究计算模型和交互模型的并独立于模型的统一方法，研究了顺序和并发模型的关系、计算的结构和程序理论等。

(2) 研究了逻辑、图论与计算复杂的紧密联系，包括P类的逻辑刻画、K-边导出子图的线性算法以及导出子图的复杂性。

(3) 在概率进程演算中，提出了模态逻辑，并证明了测试语义和模拟语义是一致等结论。

主要研究成果发表在国际顶级期刊/会议，如：Journal of the ACM, Mathematical Structures in Computer Science, Theoretical Computer Science, Acta Informatica, Information and Computation, Information Sciences, The Journal of Symbolic Logic, Theory of Computing Systems, Journal of Logic and Computation, SIAM Journal on Computing, Science of Computer Programming, Formal Aspects of Computing, Logical Methods in Computer Science, LICS, ICALP, CONCUR, etc.