We develop techniques at the intersection of programming languages and machine learning for applications in security and software engineering.
Currently looking for researchers. Apply here. For any questions, email Claire at [email protected].