同心战疫，党员先行 计科院计算理论与技术研究所本硕博师第一联合党支部党员在行动

年末岁首，来势汹汹的疫情席卷西安，在疫情防控的战疫中，计算理论与技术研究所本硕博师第一联合党支部的数名党员闻令而动，以担当之勇，奋斗之志，诠释了共产党员的担当和使命。

党支部书记陆旭同志积极响应学院组织的“同心战疫，云上学术”系列活动，分享了自身学术研究进展和科研体会。陆旭以“一种利用非确定规划的LTL合成方法”为报告题目，详细地介绍了程序合成的相关背景，以及如何将LTL合成这种程序合成的子类问题转换为智能规划问题。学院近百名研究生与老师聆听了报告，促进了学术交流，提升了学生参与科研的兴趣。

刚刚结束考研的王玥瑶同志是一名预备党员，作为志愿小组长，主动融入书院疫情防控工作中，合理协调6名组员分工协作。她在宿舍门口站岗值守，对同学们进行宣传和指导，配合书院做好错峰买饭和核酸检测，减少人员交叉流动。王玥瑶谈到，“人人都想为抗疫做一份贡献的精神令我感动，也激励着我在这样一个团结有凝聚力的志愿者群体中为同学们建立起疫情防护的屏障”。

肖炘宜同志第一时间报名加入了南校区核酸检测的志愿服务，负责辅助医生扫描试剂管和递检测棉签以及核对被检测人员信息。她说：“当我从头到脚‘武装’完毕，有一刹那，我觉得我就是个战士”。看着站在旁边的医护人员一直不停消毒、拆棉签、做检查，没有一句抱怨，坚持到为最后一个同学做完核酸。她想，“我的工作是有意义的，我这样的志愿者多一个，就多一个医护人员腾出双手为大家做核酸。个人力量微小，但千千万万个志愿者的力量却可燎原”。

在大礼堂集合后，孙东海同志和一批志愿者穿上防护服和隔离服，开始了协助核酸检测的志愿者工作。孙东海表示，作为一名党员，报名后发现与他有同样想法的同学非常多，父母也鼓励他党员应该冲到最前面。他说到：“我对抗疫怀有积极的看法，大家都众志成城，我们终将战胜疫情”。

像这样无私奉献的党员志愿者还有很多，他们用自己澎湃的力量让大家感受到最真切的温暖，用实际行动充分发挥了党员先锋模范作用。如今西安疫情曙光显现，我们仍要坚持不松懈，力所能及地为抗疫做出贡献。