Rebecca Krosnick

About me:
I am a first-year PhD student in the EECS department at the University of Michigan, advised by Professors Walter Lasecki and Steve Oney. I study human computer interaction, specifically with interests in programming and design tools. Previously, I worked as a software engineer at MathWorks. I received my SB and MEng in Computer Science and Engineering from MIT, where I was advised by Professor Rob Miller.

Office: 4817 Beyster


August 2017: Started my PhD in Computer Science and Engineering at Michigan!


Rebecca Krosnick. VideoDoc: Combining Videos and Lecture Notes for a Better Learning Experience. MIT Department of EECS MEng Thesis. 2015.
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama. Modular Synthesis of Sketches Using Models. International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI). 2014.


As online education grows in popularity, more people are learning using educational lecture videos. Videos are engaging to watch, but difficult to navigate when searching for a particular topic. To address this problem, we built VideoDoc, a lecture video interface that merges a video with the organizational features of a textbook to make educational videos easier to navigate.