Silvio Micali named associate department head of EECS