UROP Research Opportunities

The Undergraduate Research Opportunities Program (UROP) cultivates and supports research partnerships between MIT undergraduates and faculty. If you have any questions please contact kyleb@mit.edu or take a look at the How to UROP at CSAIL document (pdf format).  

This program is available to MIT students only.


  • Internet Policy@MIT for Fall 2015

    The new Cybersecurity and Internet Policy Initiative has Fall and Spring UROP slots to work an interesting accountability project. The project will be supervised by Daniel J. Weitzner.

    The research involves creating apps on Facebook and/or Android and to analyze the data. The research is aimed at understanding people's behavior and attitudes about access of their personal data.

    Strong programming skills are required in Java, javascript.

    To submit your CV and for more information please email...

    Posted date: September 18, 2015
  • Education Technology for Computational Thinking

    Make computer science compelling through education technology tools that are both accessible and ready to use at a large scale. A team within the ALFA group (http://groups.csail.mit.edu/ALFA) is developing curriculum and software to help students learn computational thinking. Our goal is to replace passive learning with interactive instruction that involve classroom exercises and experimentation with algorithms.

    We are looking for students who want to develop create software that is aesthetically...

    Posted date: September 17, 2015
  • Machine Learning for Candidate Filtering

    How do you make sure that you do not miss any job candidates with potential when you sift through applicants for an advertised position’s interviewing stage? Is it feasible to develop machine learning technology that covers for you when you are overwhelmed by the number of applicants? What if your boss hates it when you filter out a great candidate but also hates to interview too many? In classification terms, he hates false negatives and false positives.  What optimal tradeoff does a ML algorithm offer? 

    This project with the ALFA group (...

    Posted date: September 17, 2015

    This project tries to simulate the game of "whack-a-mole" that occurs whenever  a new regulatory loophole is discovered (mole) and legislators react by shutting it down (whack!). In the STEALTH project http://stealth.csail.mit.edu at the ALFA group (http://groups.csail.mit.edu/ALFA) we are developing Artificial Intelligence approaches that can anticipate fraud in regulations, e.g. learning what transactions in the US Partnership...

    Posted date: September 17, 2015
  • Global Health, Telemedicine, and Multi-Pronged Approach

    Term: Fall 2015 with option to continue during Spring 2016
    Department/Lab/Center: CSAIL and IMES

    Faculty Supervisor: Visiting Professor Amar Gupta

    Project Title:...

    Posted date: September 14, 2015
  • How Memorable is Your Face?

    Description: The goal of this project is to explore the properties that impact the memorability of faces. We define memorability as the probability with which an individual remembers a particular image. Although image memorability seems subjective and hard to quantify, our recent work shows that it is not an inexplicable phenomenon. We found that visual memorability is largely intrinsic to the image and reproducible across a diverse population. This means that despite varied experiences, individuals tend to remember and forget the same images. In this project, we will focus on...

    Posted date: September 14, 2015
  • Synthesis of Functional Programs with Refinement Types

    Project Description:
    We are developing Synquid: a tool that automatically synthesizes recursive functional programs given a specification in the form of a refinement type (https://bitbucket.org/nadiapolikarpova/synquid).
    For example, you can ask Synquid to generate a function that deletes a value 'x' from a list 'xs' by specifying its refinement type as 'x: a -> xs: [a] -> {v: [a] | elems v = elems xs - {x}}'....

    Posted date: September 14, 2015
  • Color Aesthetics

    Posted date: May 28, 2015
  • Syntactic Annotations for English as Second Language (ESL) Texts.

    Description: In this project we will explore a syntactic formalism that can be used to analyze
    the structure of sentences across different languages. The task of the project is to use this formalism to annotate
    syntactic structures of English sentences written by non-native speakers.

    Prerequisites: Fluency in English (ideally a native speaker), and interest in linguistics and Natural Language Processing (NLP).
    Contact: Yevgeni Berzak berzak@mit.edu
    Posted date: April 13, 2015
  • Lead Platform Engineer, Systemic Risk Dashboard

    The Systemic Risk Dashboard is a project to bring together a collection of recognized measures of global "systemic risk" -- measures of financial stress and uncertainty in the global economy that could bring on a global economic downturn. This project, under the leadership of Professors Andrew Lo and Roger Stein, is being done in affiliation with the Consortium for Systemic Risk Analytics (CSRA) and brings together graduate and undergraduate students to work on specific, well-identified analytics developed in academic settings...

    Posted date: March 18, 2015
  • Bigger and Better Visual illusions

    One way of studying the human visual system is to develop visual illusions (also called optical illusions) that probe specific aspects of visual processing. The Checker-shadow illusion is a well-known example from our lab.  With current tools in 3D graphics and animation it is possible to create increasingly beautiful and powerful illusions. I’m looking for someone with artistic flair, an interest visual perception, and skill in the use of image-related tools such as Photoshop, Illustrator, Blender, and Matlab.


    Posted date: March 16, 2015
  • UROPs in Mobile Computing and Educational Technology

    MIT App Inventor has opening for UROPs this summer. App Inventor is a Web-based development environment for creating original apps for Android smartphones and tablets. The system is intended for people without programming experience, such as high school and middle school students, college non-computer science students, and hobbyists.

    Our group runs a large-scale public Web service, with 3,000,000+ users, that lets people all over the world create their own mobile applications, and lets schools all over the world include mobile computing in school...

    Posted date: March 16, 2015
  • Developing a financial software tool to measure and monitor systemic risk

    Faculty Supervisor: Andrew W. Lo

    Project Description:  The MIT Laboratory for Financial Engineering (LFE) and the MIT Center for Finance and Policy (CFP) are jointly working on a “systemic risk dashboard” to produce and publish live financial analytics for risk management. The goal is to provide real-time assessment of the systemic risk in the market. Building upon prior research, we are working to create a framework to monitor the financial system using real-time data aggregation and analysis. The main purpose of our...

    Posted date: March 12, 2015
  • Mobile Humanitarian Technologies

    Data is vital in assessing the severity of a crisis, informing organizations on how to prepare or give aid, and informing the community about an event. Mobile phones in general, and smartphones in particular, are an ideal tool for the collection of this valuable data. However, the development effort required to create smartphone applications is usually substantial. There are technical barriers to entry, and usually long development times. Because of this, traditional mobile application development has been limited in its ability to help disaster relief. Our framework drastically...
    Posted date: March 12, 2015
  • Spoken Language Interface

    This project involves the development of speech interfaces for mobile
    devices.  Members of the CSAIL Spoken Language Systems group are
    developing speech and language processing technologies that enable
    natural conversational interaction between humans and machines.  This
    urop project would be suitable for the student interested in
    developing intuitive human computer interfaces on mobile devices that
    enable speech, text, and touch as input modalities.  Depending on
    their particular skill-set and interests, the superurop would be...

    Posted date: March 12, 2015
  • Information Access using Natural Language

    The InfoLab group at CSAIL seeks students interested in investigating and creating natural language tools for artificial intelligence. The InfoLab works on question answering, parsing, generating, and more, using both symbolic and statistical techniques. The START question answering system (http://start.csail.mit.edu) provides advanced access to information on the Web and in other databases via natural language. Introductory projects range from integrating knowledge sources to expanding automated methods to...

    Posted date: March 10, 2015
  • Accountable Systems Research

    The traditional approach to privacy has been to prevent access to sensitive information. However, this does not prevent information leaks by those authorized to access it or by being inferred from public data. As an alternative, accountability is a means through we can address appropriate use. Information accountability makes the use of information transparent so it is possible to determine whether a particular use is appropriate under a given set of rules and that the system enables individuals and institutions to be held accountable for misuse. 
    We are developing tools and...
    Posted date: March 10, 2015
  • Common Robot Models and Interfaces for Resilient Space Systems

    Faculty Advisor: Brian Williams

    The Model-based Embedded and Robotic Systems (MERS) group is currently working with the California Institute of Technology, the Jet Propulsion Lab (JPL), and Woods Hole Oceanographic Institute (WHOI) on a project called Resilient Space Systems. The project relies upon model-based reasoning in order to come up with a course of action for the spacecraft which does not exceed a user-specified risk bound. Thus, good models are one of the core building blocks of the RSS project.

    The goal of this project is to...

    Posted date: March 10, 2015
  • Analysis of Large Medical Imaging Datasets and Genetics


    We have an UROP availability to help in the development of new algorithms for analysis on large-scale clinical datasets.  Large clinical image collections offer new opportunities for extracting clinically relevant knowledge, but also present challenges due to lower quality of images. Their analysis has many applications in population studies and clinical practice. The project will involve learning and developing algorithms and machine learning techniques to improve image quality and automatically segment and analyze clinical...
    Posted date: September 30, 2014
  • The Bedrock Project: A New Software Platform with Integrated Formal Verification and Synthesis

    The Programming Languages and Verification Group is working on a number of research directions within the Bedrock project.  Briefly, Bedrock is about reimagining the software development process to take advantage of machine-checked mathematical proofs at every stage -- we aim for the highest levels of rigor in showing that programs really do what they ought to do.  Bedrock exists within the Coq proof assistant, drawing on ideas from such fields as functional...

    Posted date: September 22, 2014