“Edmund M. Clarke, the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University, has died of Covid-19,” writes Slashdot reader McGruber. From the Pittsburgh Post-Gazette: Professor Clarke was best known for his work in model checking, an automated method for detecting design errors in computer hardware and software. CMU president Farnam Jahanian said the world had “lost a…
Tag: cmu
Is There a Better Way to Create Secure Passwords?
“Forget all the rules about uppercase and lowercase letters, numbers and symbols; your password just needs to be at least 12 characters, and it needs to pass a real-time strength test” developed by the passwords research group in Carnegie Mellon’s CyLab Security and Privacy Institute (according to the Lab’s web site). CNET reports:
After a user has created a password of at…
Facebook Has Released a Map of Coronavirus Symptoms Crowdsourced From Its Users
An anonymous reader quotes a report from MIT Technology Review: Facebook has released a map showing the proportion of people who say they have experienced coronavirus symptoms in each state in the US. The data was gathered from more than one million Facebook users who filled in a survey created by Carnegie Mellon University about whether they were experiencing symptoms like…
Smartphone Videos Can Now Be Analyzed To Locate a Shooter
Researchers at Carnegie Mellon University have found that videos captured by smartphones can be useful for determining the location of a shooter. Gizmodo reports: The Video Event Reconstruction and Analysis system — or VERA, for short — was developed at CMU’s Language Technologies Institute with the cooperation of SITU Research who shared its expertise on ballistics and architecture, and the tool…