Carnegie Mellon ECE (@cmu_ece) 's Twitter Profile
Carnegie Mellon ECE

@cmu_ece

Department of Electrical and Computer Engineering at CMU. Known for innovative qualities, bold ideas, and unbridled enthusiasm. #cmuece

ID: 38701364

linkhttp://www.ece.cmu.edu calendar_today08-05-2009 17:02:07

2,2K Tweet

6,6K Followers

549 Following

Carnegie Mellon ECE (@cmu_ece) 's Twitter Profile Photo
Carnegie Mellon ECE
@cmu_ece

9 months ago

A team of CMU researchers received a DARPA grant from the PROVERS program to enable non-experts to formally prove that their code is correct, reliable, and secure. ece.cmu.edu/news-and-event…

A team of CMU researchers received a <a href="/DARPA/">DARPA</a> grant from the PROVERS program to enable non-experts to formally prove that their code is correct, reliable, and secure. ece.cmu.edu/news-and-event…