标签：计算机科学
走近宋柔教授：78岁仍在科研前线，在语言学高校里做AI的计算语言学家
宋柔教授，北京语言大学信息科学学院首任院长，是中国自然语言处理领域的杰出学者。他的学术生涯始于北京大学数学力学系，后在北京大学计算机专业获得硕士学...
冯·诺依曼的传奇人生
约翰·冯·诺依曼，20世纪最杰出的数学家之一，以其在多个领域的开创性贡献而闻名。他出生于1903年的布达佩斯，早年就展现出了非凡的数学天赋，17岁时发表了关...
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏是由数学家Tibor Radó...
姚班大神陈立杰获UC伯克利教职，2025年秋季入职
陈立杰，一位出生于1995年的杰出青年科学家，将于2025年秋季开始担任加州大学伯克利分校电子工程与计算机科学系（EECS）的助理教授。这一信息已在其个人主页...
代码都让AI写，CS还有前途吗？加州大学伯克利分校：CDSS申请人数飙升48%！
尽管AI技术进步迅速，许多人担心其可能取代人类工作，尤其是技术类职业如程序员和软件工程师。然而，数据显示，学生们对计算机科学的兴趣不减反增。UCB教授和...
2024 CSRankings全美计算机科学排名发布！CMU霸榜，MIT跌出前5
2024年全美计算机科学专业排名结果已经发布。卡耐基梅隆大学（CMU）荣登全美第一，同时也是全球计算机科学领域的第一。伊利诺伊大学香槟分校（UIUC）连续六年...
清华姚班本科生连发两作，十年来最大改进：矩阵乘法接近理论最优
通过消除「隐藏的低效」问题，计算机科学家提出了一种比以往更快的大型矩阵相乘新方法。这一进展是在矩阵乘法领域中的重要突破，矩阵乘法不仅是高性能计算中...
2024斯隆研究员揭榜！29位华人科学家当选占比超1/5，获75000美元科研奖金
2024年斯隆研究员名单揭晓，华人学者29人入选斯隆研究奖（Sloan Research Fellowships）每年颁发一次，旨在表彰美国和加拿大的研究人员，特别是那些在创造力...
