Professors Thomas Wahl (Northeastern) and Naveen Verma (Princeton) were awarded Faculty Early Career Development (CAREER) awards from the National Science Foundation (NSF).  Wahl received this award for his work on “Verifying Threaded Software Using Resource Bounds -- An Approach Towards Dependable Concurrency.” Verma’s award was received for his work on “Hardware and Algorithmic Architectures for Analyzing Physically-complex Systems: embedding inference capabilities in ultra-low-power sensors.”

News link to Wahl’s award, followed by link to Verma’s award:

http://www.nsf.gov/awardsearch/showAward?AWD_ID=1253331&HistoricalAwards=false  

http://www.nsf.gov/awardsearch/showAward?AWD_ID=1253670&HistoricalAwards=false