您所在位置: 首页 > 2024研招专题 > 首页 > 其他

计算理论与技术研究所

    计算理论与技术研究所


    2021年9月25日,为庆祝学校建校90周年,研究所邀请了西安邮电大学、商汤科技、百度的优秀院友,通过线上主题报告的形式,围绕学科前沿及科技创新的重大问题开展学术研讨。

    2020年11月20日至22日,研究所师生参加CCF中国软件大会。

    2019年7月29日至31日,由计算理论与技术研究所主办的第25届国际计算与组合会议(25th Annual International Computing and Combinatorics Conference, COCOON 2019)在西安举行。现场有来自世界各地近100名学者及研究者参加了本次会议。

    /__local/1/66/27/B2CA8489F783F46A20EDE8A126A_4E6DD2F7_9561F.png

    /__local/F/F9/A6/DF44E479BE9581E43DA0AEBAD4F_48AC09CA_C6A10.png

    2018年4月27日下午3点,应计算理论与技术研究所段振华教授的邀请,第八届全国道德模范杨孟飞院士前往主楼4区203会议室,与研究所师生开展科研交流座谈。报告会由段振华教授主持,学院50多名青年教师、博士和硕士研究生参加。

    /__local/9/EB/BF/BE9F3A3C2AA93E4A79817161411_DB5CECAE_633C0.png

    /__local/F/A3/36/28E10DCA1DA4FDDE03E725C949B_C76DB207_E18D0.png

    2016年12月2日上午,牛津大学计算机学院Luke Ong教授应邀来计算理论与技术研究所进行学术访问,在主楼4区203会议室作题为“Automatic verification of asynchronous concurrency and the shaped stack constraint”的学术报告。

    /__local/1/60/7E/D722E1D8655D6181537FE184CE2_4FF374CE_48AB7.png

    /__local/6/F1/14/3C6BE759F8BF4235276F6F3875A_EBB58CF9_E18D0.png

    2016年11月20日上午,美国德克萨斯大学达拉斯分校堵丁柱教授应邀来计算理论与技术研究所进行学术访问,在主楼4区203会议室作题为“Generalized Hitting Set”的学术报告。

    /__local/B/EE/FC/CF2BE95859DA2D3EF9F5D8B0007_A4D2A41B_56C3F.png

    /__local/8/7C/63/60C7263DCCD959F574F02ADC301_814B5A0F_E18D0.png