Good news: I've been awarded an @NSF CAREER Award to support my work on gradual verification-integrated programming languages. What an honor.
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1846350 …
Replying to @lambda_calculus @NSF
Sounds great! Congratulations!
1:33 PM - 5 Feb 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.