Automated Theorem Proving News Today : Breaking News, Live Updates & Top Stories | Vimarsana

Computer scientists Alfred Aho and Toniann Pitassi, mathematician Michael Harris, and sociologist Mario Small join this year’s class of new members.

Michael harrisAlfred ahoToniann pitassiKim martineauNational academy of sciencesMario smallNational academyLawrence gussman professor emeritusDavid ullmanTuring awardColumbia engineeringBell labsMathematics without apologiesSilicon reckonerBrenda bleustein professorQuetelet professor