天津大学计算机学院博士生李楠,十占其三!中国计算机学会优秀博士学位论文颁奖...

本文主要是介绍天津大学计算机学院博士生李楠,十占其三!中国计算机学会优秀博士学位论文颁奖...,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

ceb3307c821a1d3c3afe01ace5e11c95.png

2020年1月11日,中国计算机学会(CCF)在北京金隅喜来登酒店举行“2019CCF颁奖大会”,会上颁发了2019年度包括CCF优秀博士学位论文奖在内的8个奖项。

CCF优秀博士学位论文奖设立于2006年,每年表彰不超过10位在计算机科学与技术及其相关领域的基础理论或应用基础研究方面有重要突破,或在关键技术和应用技术方面有重要创新的中国计算机领域博士学位论文的作者。为了鼓励研究人员将高质量研究成果优先发表在中文期刊,从2018年起,“CCF优秀博士学位论文奖”将发表母语论文作为参评刚性要求。

914360b3a8d5013a0678fa921c404827.png

本年度共有10位优秀博士获奖,其中包括我校智能与计算学部博士毕业生谢肖飞、任文琦,学部2019年入职教师陈俊洁博士(北京大学)。获奖人数与清华大学并列第一,按培养单位计算与北京大学并列第二,取得历史最好成绩。

2019年是天津大学研究生培养质量年,研究生院从“保质量”和“创拔尖”两个方面促进研究生培养质量的提升,在保证研究生教育质量底线的同时,从学科交叉、国际化教育、本研贯通、项目制培养等方面提升拔尖创新人才培养质量。我校36篇学位论文被评为天津市优博论文,58篇被评为优秀工程硕士论文,共培育63项研究生科研创新项目,52项获“天津市研究生科研创新项目”立项;我校研究生获中国研究生机器人创新设计大赛一等奖、中国电子学会优秀论文奖、中国计算机学会优秀博士学位论文奖等奖项。

天津大学智能与计算学部成立于2018年5月16日,我校以成立智算学部为契机,建设中国特色,世界一流,天大品格的智能与计算学科群,推进计算机科学与技术、软件工程、网络空间安全、人工智能等学科的发展。学部自成立以来,在新工科建设、人工智能和信息化变革方面取得了卓越进步。此次CCF优秀博士学位论文奖的荣誉也是智算学部在拔尖创新人才培养方面取得的重要成绩之一。

获奖博士

76a15d0f5732d62946d77e156995dce0.png

谢肖飞博士(2014级),导师李晓红教授,2018年6月获得博士学位,现在新加坡南洋理工大学做科研博士后。其博士学位论文题目为《基于路径依赖关系的循环分析技术研究》。该论文选题立足于循环困扰程序分析与验证的经典难题,创新性地提出了一套基于路径依赖自动机的分析与理论框架解决该问题。相关研究成果已发表于计算机相关顶级会议和期刊,如ISSTA、FSE、TSE、ASE、CCS、IJCAI等CCF-A类会议或期刊。其FSE16年的论文获得了ACM SIGSOFT Distinguished Paper Award,该奖项首次由中国大陆研究生获得。

25c327ee9860bff9c8002b61cbce5255.png

任文琦博士(2013级),导师操晓春教授(兼职博导),于2017年6月获得博士学位,现任中国科学院信息工程研究所信息安全国家重点实验室 副研究员,博士学位论文题目为《融合结构先验的图像及视频去模糊研究》。该论文针对图像视频的各种模糊退化问题,提出了一系列基于清晰图像结构先验知识的图像视频去模糊方法,相关成果发表了多篇CCF-A类期刊及会议论文。

d320427f6fd3af0fb4940f621737f7c0.png

陈俊洁博士(北京大学),2019年入职天津大学,现任智能与计算学部长聘副教授。博士学位论文题目为《数据驱动的编译器测试与调试若干技术研究》。该论文从数据驱动的视角保证编译器质量,提出一套数据驱动的编译器测试与调试技术,具体包括编译器测试加速技术、编译器重复缺陷检测技术,以及编译器缺陷辅助定位技术。

这篇关于天津大学计算机学院博士生李楠,十占其三!中国计算机学会优秀博士学位论文颁奖...的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/605160

相关文章

AI hospital 论文Idea

一、Benchmarking Large Language Models on Communicative Medical Coaching: A Dataset and a Novel System论文地址含代码 大多数现有模型和工具主要迎合以患者为中心的服务。这项工作深入探讨了LLMs在提高医疗专业人员的沟通能力。目标是构建一个模拟实践环境,人类医生(即医学学习者)可以在其中与患者代理进行医学

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者:计算机编程-吉哥 🍊简介:专业从事JavaWeb程序开发,微信小程序开发,定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事,生活就是快乐的。 🍊心愿:点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能

论文翻译:arxiv-2024 Benchmark Data Contamination of Large Language Models: A Survey

Benchmark Data Contamination of Large Language Models: A Survey https://arxiv.org/abs/2406.04244 大规模语言模型的基准数据污染:一项综述 文章目录 大规模语言模型的基准数据污染:一项综述摘要1 引言 摘要 大规模语言模型(LLMs),如GPT-4、Claude-3和Gemini的快

论文阅读笔记: Segment Anything

文章目录 Segment Anything摘要引言任务模型数据引擎数据集负责任的人工智能 Segment Anything Model图像编码器提示编码器mask解码器解决歧义损失和训练 Segment Anything 论文地址: https://arxiv.org/abs/2304.02643 代码地址:https://github.com/facebookresear

论文翻译:ICLR-2024 PROVING TEST SET CONTAMINATION IN BLACK BOX LANGUAGE MODELS

PROVING TEST SET CONTAMINATION IN BLACK BOX LANGUAGE MODELS https://openreview.net/forum?id=KS8mIvetg2 验证测试集污染在黑盒语言模型中 文章目录 验证测试集污染在黑盒语言模型中摘要1 引言 摘要 大型语言模型是在大量互联网数据上训练的,这引发了人们的担忧和猜测,即它们可能已

OmniGlue论文详解(特征匹配)

OmniGlue论文详解(特征匹配) 摘要1. 引言2. 相关工作2.1. 广义局部特征匹配2.2. 稀疏可学习匹配2.3. 半稠密可学习匹配2.4. 与其他图像表示匹配 3. OmniGlue3.1. 模型概述3.2. OmniGlue 细节3.2.1. 特征提取3.2.2. 利用DINOv2构建图形。3.2.3. 信息传播与新的指导3.2.4. 匹配层和损失函数3.2.5. 与Super

计算机视觉工程师所需的基本技能

一、编程技能 熟练掌握编程语言 Python:在计算机视觉领域广泛应用,有丰富的库如 OpenCV、TensorFlow、PyTorch 等,方便进行算法实现和模型开发。 C++:运行效率高,适用于对性能要求严格的计算机视觉应用。 数据结构与算法 掌握常见的数据结构(如数组、链表、栈、队列、树、图等)和算法(如排序、搜索、动态规划等),能够优化代码性能,提高算法效率。 二、数学基础

BERT 论文逐段精读【论文精读】

BERT: 近 3 年 NLP 最火 CV: 大数据集上的训练好的 NN 模型,提升 CV 任务的性能 —— ImageNet 的 CNN 模型 NLP: BERT 简化了 NLP 任务的训练,提升了 NLP 任务的性能 BERT 如何站在巨人的肩膀上的?使用了哪些 NLP 已有的技术和思想?哪些是 BERT 的创新? 1标题 + 作者 BERT: Pre-trainin

[论文笔记]LLM.int8(): 8-bit Matrix Multiplication for Transformers at Scale

引言 今天带来第一篇量化论文LLM.int8(): 8-bit Matrix Multiplication for Transformers at Scale笔记。 为了简单,下文中以翻译的口吻记录,比如替换"作者"为"我们"。 大语言模型已被广泛采用,但推理时需要大量的GPU内存。我们开发了一种Int8矩阵乘法的过程,用于Transformer中的前馈和注意力投影层,这可以将推理所需

java计算机毕设课设—停车管理信息系统(附源码、文章、相关截图、部署视频)

这是什么系统? 资源获取方式在最下方 java计算机毕设课设—停车管理信息系统(附源码、文章、相关截图、部署视频) 停车管理信息系统是为了提升停车场的运营效率和管理水平而设计的综合性平台。系统涵盖用户信息管理、车位管理、收费管理、违规车辆处理等多个功能模块,旨在实现对停车场资源的高效配置和实时监控。此外,系统还提供了资讯管理和统计查询功能,帮助管理者及时发布信息并进行数据分析,为停车场的科学