Pieter Abbeel and Sanjit Seshia elected 2018 IEEE fellows

Profs. Pieter Abbeel and Sanjit Seshia have been elected fellows of the Institute of Electrical and Electronics Engineers (IEEE) class of 2018.  The objectives of the IEEE, the world's largest association of technical professionals, are the educational and technical advancement of electrical and electronic engineering, telecommunications, computer engineering and allied disciplines.  The Fellow grade is the highest level of membership and is conferred by the IEEE Board of Directors in recognition of a high level of demonstrated extraordinary accomplishment.  Abbeel was selected "for contributions to apprenticeship and reinforcement learning for robotics and autonomous systems" and Seshia was selected for "for contributions to formal methods for inductive synthesis and algorithmic verification."