Algorithms

Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Wei Chen (143)

Leslie Lamport (137)

Qingwei Lin 林庆维 (128)

Christian Borgs (72)

Jennifer Chayes (66)

Sumit Gulwani (61)

Janardhan (Jana) Kulkarni (54)

Dongmei Zhang (52)

Brendan Lucier (49)

Tom Minka (49)

Margus Veanes (42)

Marco Molinaro (42)

Jianfeng Gao (40)

Aleksandrs Slivkins (40)

Manik Varma (36)

Nishanth Chandran (30)

Nicole Immorlica (30)

Eric Horvitz (28)

David Heckerman (27)

Sergey Yekhanin (26)

Neeraj Kayal (25)

Saravan Rajmohan (25)

Ishai Menache (23)

Ravishankar Krishnaswamy (22)

Thomas Moscibroda (20)

Bo Qiao (20)

Jakub Tarnawski (20)

Pu Zhao (20)

Dongsheng Li (20)

Sepideh Mahabadi (20)

John Snyder (19)

Madan Musuvathi (19)

Harsha Simhadri (19)

Nikolaj Bjørner (18)

Siddhartha Sen (18)

Sriram Rajamani (18)

Yang Liu (18)

Andrew D. Wilson (17)

Sebastian Braun (17)

Si Qin (17)

Jennifer Wortman Vaughan (16)

Satya Lokam (16)

Baining Guo (15)

John Langford (15)

Stephen Lin (15)

Dimitra Emmanouilidou (15)

Aditya Nori (14)

Ivan Tashev (14)

Konstantina Mellou (13)

Henrique S. Malvar (12)

Neel Joshi (12)

Lester Mackey (12)

Minghua Ma (12)

Siwei Wang (12)

G. Ramalingam (11)

Luke Marshall (11)

Akshay Nambi (11)

Matheus R. F. Mendonça (11)

Akshay Krishnamurthy (10)

Christopher Bishop (10)

Ryen W. White (10)

Arturs Backurs (10)

Amit Deshpande (9)

Karin Strauss (9)

Lev Nachmanson (9)

Shuvendu Lahiri (9)

Yue Dong (9)

Ankit Garg (9)

Miro Dudík (8)

Suman Nath (8)

Surajit Chaudhuri (8)

Rick Szeliski (8)

Tolga Acar (8)

Hang Dong (8)

Yashoteja Prabhu (8)

Chetan Bansal (7)

Hannes Gamper (7)

Lidong Zhou (7)

Navin Goyal (7)

Ramachandran Ramjee (7)

Robert E. Schapire (7)

James Bono (7)

Yuqing Yang (7)

Andrey Kolobov (6)

Bozidar Radunovic (6)

Michel Galley (6)

Michael Freedman (6)

Markus Weimer (6)

Venkat Padmanabhan (6)

Ramarathnam Venkatesan (6)

Weizhu Chen (6)

Bichlien Nguyen (6)

Zinan Lin (6)

Chong Luo (5)

Dan Bohus (5)

Fan Yang (5)

Nicolo Fusi (5)

Jim Gray (5)

Jonathan Larson (5)

Matthew Hastings (5)

Peter Lee (5)

Ranveer Chandra (5)

Sumit Basu (5)

Xiaodong Liu (5)

Fanny Nina Paravecino (5)

Scott Freitas (5)

Caihua Shan (5)

Liqun Li (5)

Bela Bauer (4)

Burton Smith (4)

Carlo Curino (4)

Chris Quirk (4)

Chin-Yew Lin (4)

Emre Kiciman (4)

Cédric Fournet (4)

Harry Shum (4)

Nebojsa Jojic (4)

Katja Hofmann (4)

Kim Laine (4)

Nikhil Swamy (4)

Phil Bernstein (4)

Paul Mineiro (4)

Sanjeev Mehrotra (4)

Sebastian Burckhardt (4)

Tarleton Gillespie (4)

Tanuja Ganu (4)

Linjun Shou (寿林钧) (4)

Huseyin Inan (4)

Patricia Kovaleski (4)

Qianhui Wu (4)

Hugo Barbalho (4)

Jue Zhang (4)

Fangkai Yang (4)

Anson Bastos (4)

Alec Wolman (3)

Anton Schwaighofer (3)

Victor Bahl (3)

Josh Benaloh (3)

E. Glen Weyl (3)

John Winn (3)

Manuel Costa (3)

Mark Encarnación (3)

Matthai Philipose (3)

Melissa Chase (3)

Markus Mobius (3)

Nikunj Raghuvanshi (3)

Patrick Longa (3)

Sameh Elnikety (3)

Santiago Zanella-Béguelin (3)

Vivek Narasayya (3)

Yongguang Zhang (3)

Yuan-Jyue Chen (3)

Nagarajan Natarajan (3)

Sonu Mehta (3)

David Alvarez-Melis (3)

Urszula Chajewska (3)

Vu Le (3)

Hao Cheng (3)

Dylan Foster (3)

Jennifer Neville (3)

Mayukh Das (3)

A. Parayil (3)

Xinyang Jiang (3)

Xuchao Zhang (3)

Dongqi Han (3)

Nicolas Bruno (3)

Victor Reis (3)

Andrew Blake (2)

A.J. Brush (2)

Abigail Sellen (2)

Butler Lampson (2)

Arnd Christian König (2)

Chris White (2)

Dr. Chetan Nayak (2)

David Rothschild (2)

Daniel G. Goldstein (2)

Ethan Jackson (2)

Furu Wei (2)

Galen Hunt (2)

Manish Gupta (2)

Hsiao-Wuen Hon (2)

Íñigo Goiri (2)

Jinyu Li (2)

Rui Ding (2)

Kalika Bali (2)

Kate Crawford (2)

Lijuan Wang (2)

Markus Cozowicz (2)

Matthew J. Parkinson (2)

Nathalie Henry Riche (2)

Ran Gal (2)

Ricardo Bianchini (2)

Roman Lutchyn (2)

Shi Han (2)

Shujie Liu (2)

Sarah Bird (2)

Thomas Karagiannis (2)

Yeye He (2)

Stavros Volos (2)

Solon Barocas (2)

Paul Smolensky (2)

Budhaditya Deb (2)

Robert Sim (2)

Vibhav Vineet (2)

Divya Gupta (2)

Neil Tenenholtz (2)

Robert Gmyr (2)

Li Dong (2)

P. Anandan (2)

Kenichi Kumatani (2)

Yang Liu (2)

Matteo Interlandi (2)

Jordan Ash (2)

Raghu Ramakrishnan (2)

Esha Choukse (2)

Rodrigo Fonseca (2)

Ava P. Amini (2)

Jake Smith (2)

Deepesh Hada (2)

Srinivasan Iyengar (2)

Luna K. Qiu (2)

Harsha Nori (2)

Zhiyuan He (2)

Pashmina Cameron (2)

Ha Trinh (2)

Gagan Somashekar (2)

Yifan Wu (2)

Jihoon Tack (2)

Adam Fourney (1)

Ajay Manchepalli (1)

Akash Lal (1)

Andrzej Pastusiak (1)

Andrew Putnam (1)

Austin Donnelly (1)

Aviv Hurvitz (1)

Badrish Chandramouli (1)

Bodhi Priyantha (1)

Jonathan M. Carlson (1)

Christian Bird (1)

Scott Counts (1)

Christian Paquin (1)

Daan Leijen (1)

Darren Edge (1)

Dan Ling (1)

Dan Shumow (1)

David Johnston (1)

Doug Burger (1)

Dushyanth Narayanan (1)

Haidong Zhang (1)

Jake Hofman (1)

Karen Easterbrook (1)

Kevin Kane (1)

Knut Magne Risvik (1)

Kori Inkpen (1)

Krishna Chintalapudi (1)

Kukjin Lee (1)

Lars Liden (1)

Lei Cui (1)

Lei Ji (1)

Manoj Syamala (1)

Marcus Peinado (1)

Nick Craswell (1)

Nikos Karampatziakis (1)

Nicolas Villar (1)

Peng Cheng (1)

Peter Bodík (1)

Piali Choudhury (1)

Rick Rashid (1)

Roy Levin (1)

Andrey Rybalchenko (1)

Ryota Tomioka (1)

Sasa Junuzovic (1)

Sean Rintel (1)

Spencer Fowers (1)

Srinath Setty (1)

Siddharth Suri (1)

Tony Hoare (1)

Vassily Lyutsarev (1)

Hanna Wallach (1)

William Blum (1)

Xun Guo (1)

Yanjie Gao (1)

Daniel Firestone (1)

Aseem Rastogi (1)

Yaobo Liang (1)

Avrilia Floratou (1)

Jiaolong Yang (1)

Li Zhao (1)

Fangzhao Wu (1)

Nathan Evans (1)

Rafah Hosn (1)

Mihaela Vorvoreanu (1)

Pat Sweeney (1)

Hui Xue (1)

Haoyu Dong (1)

Sunayana Sitaram (1)

Sitaram Lanka (1)

Young Jin Kim (1)

Karthik Ramachandra (1)

Sonia Jaffe (1)

Scarlett Li (1)

Michael Schwarz (1)

Tobias Schnabel (1)

Hamed Khanpour (1)

Ivan Sadovskyy (1)

Swadheen Shukla (1)

Eleanor Dillon (1)

Jianxun Lian (1)

Wei Cui (1)

Ran Gilad-Bachrach (1)

Shruti Tople (1)

Bamdev Mishra (1)

Kevin Kaichuang Yang (1)

Mike Walker (1)

Widad Machmouchi (1)

Xenofon Foukas (1)

Arjun Radhakrishna (1)

Brian Caswell (1)

Rathijit Sen (1)

Mengting Wan (1)

Juan M. Lavista Ferres (1)

Shaohan Huang (1)

Abhisek Pan (1)

Madeleine Daepp (1)

Friederike Niedtner (1)

Ashley J. Llorens (1)

Ashvin Agrawal (1)

Camille Couturier (1)

Kunho Kim (1)

Stojan Trajanovski (1)

Andrea Tupini (1)

Tengchao Lv (1)

Prof. Darren Cosker (1)

Millicent Ochieng (1)

Robin Abraham (1)

Jayashree Mohan (1)

Victor Ruehle (1)

Alex Lu (1)

Chang Xu (1)

Xianliang Yang (1)

Chenglong Wang (1)

Jeevana Priya Inala (1)

Yansen Wang (1)

Rogerio Bonatti (1)

Yangyu Huang (1)

Yifan Yang (1)

Harkirat Behl (1)

Jiahang Xu (1)

Yuge Zhang (1)

Bonnie Kruft (1)

Menglin Xia (1)

Zelalem Gero (1)

Hosein Hasanbeig (1)

Frank Noé (1)

Whitney Hudson (1)

Rujia Wang (1)

Asma Ben Abacha (1)

Gabriel Ebner (1)

Sarah Smith (1)

Weijia Xu (1)

Chaojie Zhang (1)

Fiodar Kazhamiaka (1)

Ade Famoti (1)

Xiaoting Qin (1)

Siddarth Asokan (1)

Sampath Rajendra (1)

Soheil Abbasloo (1)

Lev Tankelevitch (1)

Tianyu Ding (1)

Chen Liang (1)

Vivan Amin (1)

Sarah Alamdari (1)

Matthew Vogel (1)

Darya Moldavskaya (1)

Kiran Tomlinson (1)

Philippe Laban (1)

Baolin Peng (1)

Lingjiao Chen (1)

Sirui Li (1)

Fazle Faisal (1)

Fatemeh Saleh (1)

Pooria Namyar (1)

Zhengyuan Yang (1)

Lu Wang (1)

Yuchen Zeng (1)

Shivam Garg (1)

Payod Panda (1)

Pedro BPS Reis (1)

Wesley Deng (1)

Published Date

Career Opportunity

Postdoctoral Researcher (Foundational AI: Intelligent Systems)

Posted: September 16, 2026

Location: Cambridge, UK

Research Area(s): Algorithms, Artificial intelligence, Systems and networking

The Machine Intelligence team at Microsoft Research Cambridge conducts foundational machine learning research across learning algorithms, model architectures, intelligent systems, and efficient AI. We are seeking Postdoctoral Researchers for our programme of integrated intelligent systems.…

Publication

LLM Reasoning as Trajectories: Step-Specific Representation Geometry and Correctness Signals

Lihao Sun, Hang Dong, Bo Qiao, Qingwei Lin 林庆维, Dongmei Zhang, Saravan Rajmohan

ACL’26 main

Publication

From task to tutorial: an automated GUI framework for excel tutorial document and video creation

Yuhang Xie, Jian Mu, Xiaojun Ma, Chaoyun Zhang, Lu Wang, Mengyu Zhou, Mugeng Liu, Si Qin, Qingwei Lin 林庆维, Saravan Rajmohan, Shi Han, Dongmei Zhang

FSE’26 industry

Publication

RepoGenesis: Benchmarking End-to-End Microservice Generation from Readme to Repository

Zhiyuan Peng, Xin Yin, Pu Zhao, Fangkai Yang, Lu Wang, Ran Jia, Xu Chen, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang

ACL’26 Main

Publication

StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis

Jiayi Mao, Liqun Li, Yanjie Gao, Zegang Peng, Shilin He, Chaoyun Zhang, Si Qin, Samia Khalid, Qingwei Lin 林庆维, Saravan Rajmohan, Sitaram Lanka, and Dongmei Zhang

FSE’26 Research

Publication

Learning to Refine: Self-Refinement of Parallel Reasoning in LLMs

Qibin Wang, Pu Zhao, Shaohan Huang, Fangkai Yang, Lu Wang, Furu Wei, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang

ACL’26 findings

Publication

Computer‑Using World Model

Yiming Guan, Rui Yu, John Zhang, Lu Wang, Chaoyun Zhang, Liqun Li, Bo Qiao, Si Qin, He Huang, Fangkai Yang, Pu Zhao, Lukas Wutschitz, Samuel Kessler, Huseyin A. Inan, Robert Sim, Saravan Rajmohan, Qingwei Lin 林庆维, Dongmei Zhang

ICLR’26 Workshop (World Models)

Publication

Thread: A logic-based data organization paradigm for how-to question answering with retrieval augmented generation

Kaikai An, Fangkai Yang, Liqun Li, Junting Lu, Sitao Cheng, Shuzheng Si, Lu Wang, Pu Zhao, Lele Cao, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang, Qi Zhang, Baobao Chang

EMNLP’25 main

Publication

ExeCoder: Empowering Large Language Models with Executability Representation for Code Translation

Minghua He, Fangkai Yang, Pu Zhao, Wenjie Yin, Yu Kang, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang, Qi Zhang

EMNLP’25 Main

Publication

Lean and mean: Decoupled value policy optimization with global value guidance

Chenghua Huang, Lu Wang, Fangkai Yang, Pu Zhao, Zhixu Li, Qingwei Lin 林庆维, Dongmei Zhang, Saravan Rajmohan, Qi Zhang

ICLR’26