VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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
Research interests:Program Synthesis, Computer-aided Education

Contributions

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

POPL 2016-profile
View general profile