1 of 3

Rohit Singh



Contact
Information


Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology
32G-738, Stata Center, Building 32, 32 Vassar Street, MA


Voice: (617) 475-0812
E-mail: rohit s@mit.edu
Web: rohitsingh.net

Research
Interests

Automated Program Synthesis, Machine Learning, Verification


Education

Massachusetts Institute of Technology, Cambridge MA

Second Year Graduate Student, (September 2011 - Present)
Computer Science and Artificial Intelligence Laboratory
GPA 5.0/5.0
Adviser: Prof. Armando Solar-Lezama
Indian Institute of Technology Bombay, Mumbai INDIA
B.Tech.(Honors) , (July 2007 - April 2011)
Department of Computer Science and Engineering
CPI(Core) 9.93/10 and CPI(Overall) 9.87/10
Ranked 1
st
(550) in the Institute with highest overall CPI
Thesis Adviser: Prof. Supratik Chakraborty
Bachelor Thesis: Termination of Linear Programs


Achievements
and Awards
Siebel Scholar, Class of 2013 awarded annually for academic excellence and demonstrated
leadership to 85 top students from the worlds leading graduate schools.

Gold Medal at the 38th International Physics Olympiad, 2007 held in Isfahan, Iran
representing India among 76 countries from all over the world

Won the MIT IDEAS Global Challenge 2012 community choice award as a co-founder
of the startup Indian Raga .

Selected among top 25 students from all over India in Indian National Mathematics Olympiad
2006 and Indian National Chemistry Olympiad 2007

Secured rank 47 in IIT-Joint Entrance Examination 2007 and rank 3 in All India
Engineering Entrance Examination 2007.

Awarded the prestigious Kishore Vaigyanik Protsahan Yo jana (KVPY) fellowship for
the period 2005-2007 among top 107 students from all over the country

Awarded the National Board of Higher Mathematics scholarship for pursuing NBHM
Nurture Program for learning advanced Mathematics (equivalent to Masters)

Awarded Shri Mukund and Sau Manorama Karandikar Scholarship for overall
achievements during the first year at IIT Bombay

Professional
Experience
Software Engineering Intern, Google Inc., Mountain View, CA Summer 2012
Worked on improving techniques being used for classifying YouTube videos using the new
distributed deep neural network framework (Google brain).

Co-Founder and VP (Tech), Indian Raga 2011-12
Co-founded Indian Raga, a startup aimed at democratizing the Indian performing arts
space by bringing together the very best of upcoming talent within various genres of
music and trying to build and strengthen the next generation of musicians in the region
from diverse musical traditions.
2 of 3
Co-Founder and Chief Technology Officer (CTO), Avanti Fellows 2009-11
Co-founded a student run Non-profit organization working towards uplifting of under-
privileged students by providing them guidance and support they need to gain admission
to Indias top undergraduate colleges.

Research
Experience
Internship, Microsoft Research, Bangalore, India

Automatic problem and solution generation for Algebra problems June-July, 2011
Worked on designing a robust back-end for implementing a touch-based mobile appli-
cation enabling high school students to manipulate trigonometric expressions and solve
problems faster than the traditional pen and paper methods. We also devised a method-
ology to generate new problems similar to the given one with their solutions. With Sumit
Gulwani, MSR Redmond and Sriram Rajamani, MSR Bangalore

Internship, Institute of Science and Technology(IST), Austria

Quantitative Synthesis of Concurrent Data Structures May-July, 2010
We designed an algorithm for quantitative synthesis of synchronization constructs for
concurrent data structure method sketches modeling them as solving games with imper-
fect information and implemented the algorithm for finding optimal concurrent list data
structure lock-based synchronizations with respect to a weighted performance model. In-
ternship with Prof. Thomas Henzinger, Prof. Krishnendu Chatterjee and Dr. Pavol
Cerny

Internship, Ecole Polytechnique Federal de Lausanne(EPFL), Switzerland

Quantitative Synthesis of Reactive Systems May-July, 2009
Implemented the framework of quantitative Synthesis of reactive systems using game-
theoretic measures and extended the synthesis paradigm to incorporate probabilistic be-
havior of the environment and proposed a new polynomial time algorithm for solving
the problem being modeled as parity mean payoff MDP. Internship with Prof. Thomas
Henzinger and Prof. Barbara Jobstmann

Senior Undergraduate Thesis, IIT Bombay

Termination of Linear Programs August 2010 - April 2011
We formulated an order reduction method for single loop initialized linear programs and a
technique to decide termination in majority of the cases. Also, we precisely characterized
the small class of problem cases with concrete examples.

Positions of
Responsibility

Organizer, MIT Global Startup Workshop 2012-present
Successfully organized a panel on Commercializing University Technologies at the 17th
MIT Global Startup Workshop 2013 held in Tallinn, Estonia.
Currently working as a part of the organizing team for MIT Global Startup Workshop
2014 to be held in Rio de Janeiro, Brazil.

Director (YouPitch), Marketing and Mentorship Leadership Team Member
MIT 100K Entrepreneurship Competition 2011-2012
Directed the online YouPitch competition for MIT 100K which involved working on mar-
keting, logistics, judging and sponsorship for the contest.
Worked towards online and on-campus marketing, and organization of mentorship events
for the MIT 100K Elevator Pitch,ACCELERATE and the BPC LAUNCH contests.

Institute Student Mentor 2010-11
3 of 3
Mentored 14 freshmen for their all round development and students with weak academic
performance aiming for improving their basic understanding and academic involvement

Internship Nominee (Computer Science) 2009-10
Co-founded a successful centralized student-run organization for the process of internship
applications from IIT Bombay

Co-founder, Web and Coding Club (WnCC), IIT Bombay 2009-10
Co-founded WnCC at IIT Bombay which is currently an active community of more than
600 students interested in web development and programming



Publications
Automatically Generating Algebra Problems
Rohit Singh, Sumit Gulwani, Sriram Rajamani
26th Conference on Artificial Intelligence (AAAI-12)

On Memoryless Quantitative Ob jectives
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
18th International Symposium on Fundamentals of Computation Theory (FCT 2011)

Quantitative Synthesis for Concurrent Programs
Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger, Arjun R., Rohit Singh
23rd International Conference on Computer Aided Verification (CAV 2011)

Quasy : Quantitative Synthesis Tool
Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann, Rohit Singh
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2011)

Measuring and Synthesizing Systems in Probabilistic Environments
Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann, Rohit Singh
22nd International Conference on Computer Aided Verification (CAV 2010)


Teaching Teaching Assistant MA105 : Calculus, Fall 2010 at IIT Bombay
Teaching Assistant MA214 : Numerical Analysis, Spring 2011 at IIT Bombay



Extra-
Curricular
Activities
Participated in the MIT MISTI Russia winter school on Innovation and Entrepreneurship

in Networks held at Yandex HQ, Moscow.

Worked as a member of MIT EECS Graduate Student Councils Academic Committee,
CSAIL Student Social Committee and successfully organized the MIT Programming Lan-
guages Offsite 2012.

Secured 2
nd
position in online ACM International Collegiate Programming Contest
and 8
th
position in onsite Regionals 08. Selected for the onsite regionals in 07 & 09

Received Honorable Mention amongst top 6 teams in Yahoo HackU-IITB 09

Successfully organized three online treasure hunts as Segreta - The Crypt Hunt for Techfest
09, which saw participation of over 2000 college students from all over the country

Awarded Hostel Technical Colour 2008-09 for excellence in technical activities including
robotics, hacking and programming.

Designed and maintained websites for various institute bodies: Academics, Technical Club,
and Practical Training Cell