Dr. Holzmann Receives Harlan D. Mills Award
Gerard J. Holzmann, Faculty Associate and Lecturer in Computing and Mathematical Sciences and Lead Scientist of the Laboratory for Reliable Software at the Jet Propulsion Laboratory, has received the 2015 IEEE Computer Society Harlan D. Mills Award. He is being honored "for fundamental contributions to improving software quality, in particular through model-checking tools and coding standards, and for successfully transferring these contributions to practitioners developing mission-critical software."
The award recognize researchers and practitioners who have demonstrated long-standing, sustained, and meaningful contributions to the theory and practice of the information sciences, focusing on contributions to the practice of software engineering through the application of sound theory. [IEEE Computer Society Release] [ENGenious article]
Symposium on Network Economics and Game Theory
Katrina Ligett, Assistant Professor of Computer Science and Economics, Adam Wierman, Professor of Computer Science, and colleagues recently hosted the Southern California Symposium on Network Economics and Game Theory (SoCal NEGT). The Symposium brought together a hundred local students, professors, and researchers who apply game theory to analyze, design, and assess the performance of networks. The technical talks highlighted synergies between various related research areas, and encouraged discussions regarding the benefits and limitations of game theory as a performance assessment and design tool for networks. This was the sixth year for SoCal NEGT, which is organized collaboratively between Caltech, UCLA, and USC.
Variability Keeps The Body In Balance
By combining heart rate data from real athletes with a branch of mathematics called control theory, John Doyle, Jean-Lou Chameau Professor of Control and Dynamical Systems, Electrical Engineering, and Bioengineering and colleagues have devised a way to better understand the relationship between reduced heart rate variability (HRV) and health.
"A familiar related problem is in driving," Doyle says. "To get to a destination despite varying weather and traffic conditions, any driver—even a robotic one—will change factors such as acceleration, braking, steering, and wipers. If these factors suddenly became frozen and unchangeable while the car was still moving, it would be a nearly certain predictor that a crash was imminent. Similarly, loss of heart rate variability predicts some kind of malfunction or 'crash,' often before there are any other indications," he says. [Caltech Release] [Read the Paper]