中航工业空空导弹研究院司俊杰研究员来校开展学术交流

西电新闻网讯（通讯员 刘飞 李维嘉）12月7日，应物理与光电工程学院副院长邵晓鹏邀请，中航工业空空导弹研究院光电器件所特级专务、中航工业红外探测器技术航空科技重点实验室副主任司俊杰研究员来学院交流访问，并于西大楼Ⅲ-405报告厅做了题为“InAs/GaSb超晶格红外探测器发展现状与焦点”的学术报告。报告会由邵晓鹏主持。

会上，司俊杰旁征博引，娓娓道来，从“InAs/GaSb二类超晶格红外探测器的发展历史”“InAs/GaSb成像探测器在长波、中波和短波领域的研究情况”以及“InAs/GaSb红外探测器在双色、双波段面阵探测上的应用进展”三个方面展开展开论述，对InAs/GaSb红外探测器的设计过程，晶体生长过程以及加工工艺进行了详细的介绍，全面系统地展示了目前取得的科研成果。基于当前的实际应用情况。深度剖析了InAs/GaSb二类超晶格红外探测器的技术竞争焦点，并对InAs/GaSb探测器未来的发展前景做了展望。

在提问互动环节，司俊杰对与会师生提出的相关问题作了耐心细致的解答，其严谨的科研态度、开阔的科研视野受到了广大师生的一致好评。同学们纷纷表示此次报告让自己感受到了红外成像的魅力，激发了学习的热情。

会后，司俊杰参观了部分实验室并与相关课题组进行了深入的探讨，为双方后续的科研交流、项目合作奠定了基础。

人物简介：

司俊杰，博士，研究员。毕业于中国科学院半导体所。主要从事InSb、PbS红外探测器材料和器件研究工作。现任中航工业空空导弹研究院光电器件所特级专务、中航工业红外探测器技术航空科技重点实验室副主任。主持开发多款精确制导武器用红外探测器，承担并完成多项重点国防及中航工业研究项目，获得多项中航工业及国防科技进步奖。发表及合作发表文章50余篇，申请专利20余项，培养博士后、博士及硕士研究生多名。近年，研究重点集中于InAs/GaSb二类超晶格红外焦平面探测器材料和器件研发。

华中科技大学刘世元教授来校交流并作学术报告

西电新闻网讯（通讯员 刘飞 李维嘉）12月12日，应物理与光电工程学院副院长邵晓鹏教授邀请，华中科技大学刘世元教授来学院交流访问，并在西大楼Ⅲ-405报告厅作了题为“橢偏仪与超薄层状纳米结构测量：挑战、机遇、进展、展望”的学术报告。报告会由邵晓鹏主持。

会上，刘世元教授以橢偏仪的工作机理、工作特点为切入点，深入探讨了橢偏仪在纳米结构测量领域的应用。将理论研究与实际应用相结合，全面分析了橢偏仪在集成电路、OLED／OPV、柔性电子等领域中所面临的测量挑战。基于对橢偏测量现阶段发展情况的梳理，重点阐述了橢偏测量的各类新原理和发展新机遇。通过详实丰富的数据资料和直观生动的图片展示，向与会师生介绍了自己所在课题组自主研制的高精度宽光谱Muller矩阵橢偏仪与成像光谱仪的基本情况，对其在集成电路纳米结构形貌测量、二维材料单原子层膜厚表征以及卷对卷（roll-to-roll）大面积纳米结构薄膜量产在线监测中的应用实例进行了相应分析和说明。整个报告会学术氛围浓厚，亮点频出，交流不断。

互动环节中，刘世元教授积极同与会师生广泛交流，逐一解答了有关橢偏仪的相关问题，并与邵晓鹏教授及现场部分同学就目前橢偏测量技术发展的焦点、难点、重点展开了进一步的探究。他诙谐幽默的表达方式，严谨精彩的论述博得了与会师生的一致好评。

会后，刘世元教授参观了部分实验室，与相关课题组进行了深入交谈，达成了科研合作，项目共建的合作意向。

人物简介：

刘世元，男，1970年出生，博士，教授，博士生导师，国家杰出青年科学基金获得者，科技部中青年科技创新领军人才，国际测量与仪器委员会(ICMI)理事。近年来主持了5项国家自然科学基金、首批国家重大科学仪器设备开发专项等项目。获国际国内发明专利42件，在Appl. Phys. Lett.、Opt. Express、Opt. Lett.等期刊发表SCI论文82篇。重要国际会议做大会/特邀报告15次；担任组委会主席，于2014年11月在武汉组织召开了“第一届全国椭圆偏振光谱学研讨会”。

牛津大学LukeOng教授访问西电开展学术交流

西电新闻网讯 12月2日上午， 牛津大学计算机学院LukeOng教授应邀来西安电子科技大学进行学术访问，在主楼4区205会议室作题为“Automatic verification of asynchronous concurrency and the shapedstack constraint”的学术报告。

讲座中，Luke Ong教授以其实验室近期的一个项目Soter为着眼点，通过抽象精化和无穷状态模型检测的方法验证Erlang程序中的安全性质的验证。其方法的目的是为了放宽信息只有在下推过程中调用栈为空时才能发送的限制。这种方法扩展了之前异步程序调用的计算模型，并且能够验证一大类包括递归定义的消息传递程序的安全性问题。在讲座进行中，Luke Ong教授围绕本次讲座的主题与到场师生展开热烈的讨论，并着重解释了模型检测过程中模型提取的一致性问题和模型检测在工业中的应用，启发了在场师生的创新思维和学术兴趣。

本次报告会由计算机学院段振华教授主持，计算理论与技术研究所青年教师和研究生参加了此次报告会。在提问互动环节中，Luke Ong教授与在场师生积极互动，耐心细致地答疑解惑。Luke Ong教授在模型检测的深厚造诣及其风趣幽默的案例讲解给在场师生留下了深刻印象，与会的老师和同学们纷纷表示收获颇丰。

人物简介：

Luke Ong现为英国牛津大学计算机科学教授、计算机科学系的研究生主任、以及墨顿学院理事会成员。他的主要研究领域为计算语义及逻辑。他在该领域的类理论、并发理论、线性逻辑和计算证明理论等分支均有建树，尤其是引领了博弈语义分支的发展。

美国德克萨斯大学达拉斯分校堵丁柱教授访问西电开展学术交流

西电新闻网讯（通讯员 于斌）11月20日上午， 美国德克萨斯大学达拉斯分校堵丁柱教授应邀来西安电子科技大学进行学术访问，在主楼4区205会议室作题为“Generalized Hitting Set”的学术报告。

堵丁柱教授以社交网络、在线社交网络、社团结构和谣言阻止四个方面为主线，阐述了社交网络的定义，并以friendship network、coauthorship network和flight map三个例子进行了形象而生动的展示，接着，堵教授介绍了在线社交网络及其在选举、预测方面的应用，解释了six degrees of separation和three degrees of influence，以及阻止谣言传播问题的解决办法。

堵丁柱教授绘声绘色的讲解，让同学们对社交网络有了一次全面的了解，激发了同学们对此方向进行深入研究的兴趣。我们真实的社会网络，是极其复杂的，参杂着可变性及太多的不定因素，这样就会出现各种各样的模型，各种各样的研究，也会越来越精确的定位到我们的生活，服务于我们，让我们的生活更加美好。

本次报告会由计算机学院段振华教授主持，计算理论与技术研究所青年教师和研究生参加了此次报告会。在提问互动环节中，堵丁柱教授与在场师生积极互动，耐心细致地答疑解惑。堵丁柱教授精彩的报告引起了大家广泛的兴趣，报告结束后，与会人员踊跃提问交流，堵丁柱教授就相关问题给予了回答。

人物简介：

堵丁柱教授现任德克萨斯大学达拉斯分校（UTD）计算机系教授，美国自然科学基金委计算机理论的项目主管。已经发表论文160多篇，出版了40本书。他是组合优化杂志和系列书籍《网络理论和应用》的主编，是超过15个杂志的编委。他因为证明了Gilbert-Pollak猜想和Derman-Leiberman-Ross猜想而著名。1998年获得美国INFORMS的CSTS奖，1993年获得 中国自然科学二等奖，1992年获得中国科学院自然科学一等奖。同时，在1992年，Gilbet-Pollak猜想的证明大不列颠百科全书中数学方面6个最突出的贡献的第一名。