5 ms·Is there any source for this other then the wikipedia page?by monjaro 13y agoIs there any source for this other then the wikipedia page?sidww2 13y agoI go to CMU (where he was professor) and we got an email about this yesterday evening.monjaro 13y agoThanks for confirming this. It is very sad news.