Fresh on the heels of announcing a call for social media research, DARPA’s Information Innovation Office (I2O) has issued a solicitation for “innovative research proposals in the area of automated program analysis for cybersecurity.” From the official broad agency announcement: Automated program analysis is a fundamentally hard problem. It has been known since the work of Church and Turing in 1936 that virtually any interesting question about the properties of programs is undecidable — that is, it is provably impossible to build an automated program analysis tool that will answer any question about cybersecurity for any program and input with complete accuracy…

Yesterday, the National Science Foundation (NSF) announced a new five-year, $18.5 million Engineering Research Center (ERC) that will pursue interdisciplinary research and education in areas of health and robotics: The NSF ERC for Sensorimotor Neural Engineering (ERC/SNE) will create devices to restore or augment the body’s capabilities for sensation and movement. The foundation for the new devices will be new mathematical and structural understanding of the nervous system. Center researchers will combine this new understanding with improved communication and interface design and with advanced control and adaptation technologies.   The Center aims to create devices that function and adapt seamlessly with the body, enabling dynamic and highly complex interactions with human […]