秋意渐浓，一丛金黄。11月12日，计算机与信息科学学院 软件学院青年教师午间学术沙龙第六期开讲。学院党委副书记陈智、工会主席王英以及学院青年教师参加活动。

     第六期的分享嘉宾为周骏老师和王超老师。周骏老师分享了其近期在“计算机视觉在生物医学中的应用——单细胞成像分析”方面的研究工作，介绍了如何将计算机视觉技术与生物医学成像相结合，利用视觉技术解决单细胞分析中细胞散射成像时的背景散射干扰问题，通过U-Net深度学习网络实现探针信号的有效提取，颜色编码了成像中探针散射信号变化，基于信号预测模型、信号校正模型实现对弱反应的有效检测。

  王超老师介绍了其近期在“松弛内存模型下并发对象的正确性和活性验证”方面的研究工作，立足于TSO 内存模型，讨论TSO模型上的有界线性化、活性，以及TSO-to-TSO上不可判定的线性化问题，研究了Lossy Channel Machine（LCM）到TSO模型的转换，完成了有界线性化和活性的验证工作。

  两位老师的分享结束后，老师们就相关机器学习在生物医学图像领域和计算理论相关问题进行积极交流和讨论。