计算理论与技术研究所本硕博师联合党支部简介
计算理论与技术研究所本硕博师联合党支部成立于2020年3月，现有党员31人，其中教师党员1人，员工党员30人（博士生5人、硕士生9人、本科生16人）。计算理论与技术研究所主要面向形式化方法方向开展研究，团队与航天五院五零二研究所有着密切的联系，共同组成了陕西省重点创新团队——安全攸关智能软件创新团队，成果在探月工程三期月地高速再入返回飞行器控制软件研制中得到了成功应用。
党支部依托计算理论与技术研究所，特色鲜明，曾举办包括“建院60周年”、“建国70周年”、“纪念五四运动100周年”等主题党日活动。支部党员以实际行动践行初心使命，在新冠肺炎疫情防控阶段，支部党员积极捐款，捐款率达到100%。本科生党员逄磊、韩昊彤主动申请加入先锋岗，负责本班16名同学的疫情防控管理和宣传工作，获得了同学们的一致好评。本科生杨帆主动投入所在地社区的防控工作等。支部党员纷纷以实际行动参与抗疫防疫工作，充分展现出党员的先锋模范作用。
计算理论与技术研究所本硕博师联合党支部支委班子
陆 旭：支部书记
董彦松：支部副书记
高亦平：组织委员
郭佳琦：宣传委员
李 戈：纪律委员
计算理论与技术研究所本硕博师联合党支部活动照片
“不忘初心、牢记使命”主题教育专题党课活动
