UROP Openings

Have a UROP opening you would like to submit?

Please fill out the form.

Submit your UROP opening

Program Inference via Continuous Program Embeddings




6: Electrical Engineering and Computer Science

Faculty Supervisor:

Martin Rinard

Faculty email:


Apply by:

May 7, 2020



Project Description

The standard semantics of computer programs is discrete - loops execute an integer number of times, if statements take either the true path or the false path. The goal of this project is develop a new theoretical mechanism for embedding programs into a continuous space to enable techniques drawn from continuous mathematics to infer models of programs. This UROP may involve some coding, but the focus is expected to be on the underlying theory. Application areas include adversarial machine learning.


Expertise and maturity working with complex continuous spaces. Ability to work comfortably with abstract concepts in mathematics and computer science.