Have a UROP opening you would like to submit?
Please fill out the form.
Program Inference via Continuous Program Embeddings
6: Electrical Engineering and Computer Science
May 7, 2020
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.