Write a Blog >>
Rishabh Singh

Registered user since Fri 7 Nov 2014

Name: Rishabh Singh

Bio: Rishabh Singh is a researcher at Microsoft Research, Redmond. His research interests span the areas of programming languages, formal methods, and machine learning. His recent work has focused on building systems based on program synthesis for making programming accessible to end-users and students. He obtained his PhD in Computer Science from MIT in 2014, and was awarded the MIT’s George M. Sprowls Award for Best PhD Dissertation in Computer Science. He was a Microsoft Research PhD fellow and winner of MIT’s William A. Martin Outstanding Master’s thesis Award. He obtained his BTech in Computer Science from IIT Kharagpur in 2008, where he was awarded the Institute Silver Medal and Bigyan Sinha Memorial Award.

Country: India

Affiliation: Microsoft Research

Personal website: http://people.csail.mit.edu/rishabh/website/

Research interests: Program Synthesis, Computer-aided Education

Contributions

POPL 2016Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
ERC member in External Reviewing Committee within the Research Papers-track
Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
Author of Transforming Spreadsheet Data Types using Examples within the Research Papers-track
ERC member in External Reviewing Committee
Show activities from other conferences

POPL 2016-profile
View general profile