南京大学计算机系长江讲席教授+1 斯坦福大学访问教授王轲教授加盟！

PG13 · 发表于 2026-4-1 11:29:18

王轲，南京大学计算机学院教授、博士生导师。2025年入选第二十一批国家级引才计划领军人才项目（长江讲席），2024年获批国家自然科学基金优秀青年科学基金项目（海外）。自2024年初起在美国斯坦福大学计算机系担任访问教授。曾供职于西门子美国与中国研究院、微软研究院Redmond、Visa研究院及Meta（原脸书公司），担任Research Scientist, Director of Research等职务。

王轲教授的研究方向涵盖编程语言、形式化方法与人工智能，并在多个领域取得系统性成果：程序分析与软件可靠性技术（PLDI 2018、OOPSLA 2025、PLDI 2026）；AI驱动的程序语义表示与求解方法（PLDI 2020、OOPSLA 2020、PLDI 2025）；以及利用形式化方法解释与加固人工智能模型（NeurIPS 2022、PLDI 2023、OOPSLA 2023）。相关研究成果曾获编程语言顶级会议OOPSLA 2020杰出论文奖，并多次在机器学*旗舰会议及其研讨会（NeurIPS 2022、ICML 2025 PRAL、NeurIPS 2025 DL4Code、ICLR 2026 VerifAI-2）上获得口头报告（Oral）席位。王轲教授硕士毕业于帝国理工学院，博士毕业于加州大学戴维斯分校，攻读博士期间多次获得计算机系最佳博士生荣誉提名。

PG13 · 发表于 2026-4-1 11:39:51

今年海外正教授讲席也是进步很大了明年估计更多

天下为工 · 发表于 2026-4-1 11:49:24

不到40的讲席，很强

bernaldo · 发表于 2026-4-1 11:50:00

24年中了海优，肯定84年往后了，很年轻

PG13 · 发表于 2026-4-1 11:53:12

bernaldo 发表于 2026-4-1 11:50/ S2 `1 C+ ]' R! j# k
24年中了海优，肯定84年往后了，很年轻

中了hy没回来没想到去年中了讲席

shihuangxitu · 发表于 2026-4-1 12:38:02

这个是25年回来的还是刚回来的

PG13 · 发表于 2026-4-1 13:45:09

shihuangxitu 发表于 2026-4-1 12:38& z4 K/ K" t# G" D; P9 _7 ~
这个是25年回来的还是刚回来的

拿了讲席刚回来的

Mxo · 发表于 2026-4-1 14:58:29

赞一个，望越来越好

拼多多葛蓝军 · 发表于 2026-4-1 15:11:22

这好像去年回的吧

leo-0 · 发表于 2026-4-1 15:13:00

m海龟回流质量快速提升，好事

mlkwhl · 发表于 2026-4-1 15:40:17

拿到海优不回申讲席需要先放弃海优吗

PG13 · 发表于 2026-4-1 15:42:54

mlkwhl 发表于 2026-4-1 15:40& T8 r' i. @0 ~4 f+ o
拿到海优不回申讲席需要先放弃海优吗

感觉应该不用不过拿到讲席之后可能需要退出海优了

nichangsanxu · 发表于 2026-4-1 16:11:14

恭喜南大CS

hejicker · 发表于 2026-4-1 17:43:57

厉害了，羡慕

躲猫猫的猫 · 发表于 2026-4-1 19:19:23

计算机学科是不是到了该谨慎发展的阶段？飞艇与飞机争夺了几十年，飞艇依赖其安全性，风头一时盖过飞机，直到齐柏林灾难。计算机会不会成为科技树上的飞艇？

PG13 · 发表于 2026-4-1 19:52:19

躲猫猫的猫发表于 2026-4-1 19:19" n3 [+ E/ `# n2 _$ [5 G. c
计算机学科是不是到了该谨慎发展的阶段？飞艇与飞机争夺了几十年，飞艇依赖其安全性，风头一时盖过飞机，直 ...

浙大500个人南大250人至少再扩150人

躲猫猫的猫 · 发表于 2026-4-1 19:54:44

PG13 发表于 2026-4-1 19:52- }1 H) d' ]. j6 C
浙大500个人南大250人至少再扩150人

别，分给通信、网安、智能、脑和类脑科学不好吗

PG13 · 发表于 2026-4-1 20:44:39

躲猫猫的猫发表于 2026-4-1 19:54
. O) Y2 b3 K3 R别，分给通信、网安、智能、脑和类脑科学不好吗

计算机严重缺人规模太小

nichangsanxu · 发表于 2026-4-1 21:08:20

规模还小？csranking上面发过顶会的faculty比北大都多

天下为工 · 发表于 2026-4-1 21:27:13

nichangsanxu 发表于 2026-4-1 21:08; q; Y1 V& ?& K) n4 I6 H
规模还小？csranking上面发过顶会的faculty比北大都多

因为faculty 统计不全，其他学校很多发不了顶会的不算人头了？

antty · 发表于 2026-4-2 00:01:16

厉害了，羡慕

bernaldo · 发表于 2026-4-2 00:21:33

nichangsanxu 发表于 2026-4-1 21:08* l& l, e6 H: g* e. z8 f) N
规模还小？csranking上面发过顶会的faculty比北大都多

很多五年内不产出的老人还在上面，有些学校感觉会定期清理

Newtime99 · 发表于 2026-4-2 19:53:07

漂亮的人才引进！祝贺越来越多这样的

scusz · 发表于 2026-4-3 09:42:03

本帖最后由 scusz 于 2026-4-3 09:47 编辑

在中国还是要比拼规模，南大cs学科现在的规模还不到浙大的一半。

中长期的发展规划，南大CS总体规模最起码达到浙大cs三分之二，要加大力度引援。

scusz · 发表于 2026-4-3 09:44:24

本帖最后由 scusz 于 2026-4-3 09:46 编辑

躲猫猫的猫发表于 2026-4-1 19:54% k' J a& D2 y- c+ m% [
别，分给通信、网安、智能、脑和类脑科学不好吗

通信、脑机（生物医学工程）、控制本来就有编制，跟计算机不矛盾。

南大除了CS有网安方向，其实信管院也有一部分这个方向的老师，都是从CS过去的。

nichangsanxu · 发表于 2026-4-3 10:12:25

好奇你们说的规模都是哪里查到的

		自动登录	找回密码
密码			立即注册

南京大学计算机系 长江讲席教授+1 斯坦福大学访问教授 王轲教授加盟！

南京大学计算机系长江讲席教授+1 斯坦福大学访问教授王轲教授加盟！