CMU Computer Science Department (@csdatcmu) 's Twitter Profile
CMU Computer Science Department

@csdatcmu

CSD's mission @ Carnegie Mellon is to lead in computer science research & education, pushing the frontiers of the field, resulting in real world impact.

ID: 3307276270

linkhttp://www.csd.cs.cmu.edu calendar_today03-06-2015 16:51:45

3,3K Tweet

8,8K Takipçi

812 Takip Edilen

CMU Computer Science Department (@csdatcmu) 's Twitter Profile Photo
CMU Computer Science Department
@csdatcmu

a year ago

Congratulations to CSD PhD graduate Katherine Kosaian who has received the Conference on Automated Deduction (CADE) Bill McCune PhD Award for her dissertation “Formally Verifying Algorithms for Real Quantifier Elimination”. 🥳 sites.google.com/view/katherine… cadeinc.org/McCune-Award