Rodrigo Rodrigues, MIT Laboratory for Computer Science