Activity Stream

Andre Platzer is an Assistant Professor in the Computer Science Department at Carnegie Mellon. Dr. Platzer developed the theory, practice, and applications of logical analysis and verification of hybrid systems, and he proved the very first completeness theorem for hybrid systems. He introduced compositional verification techniques and methods that can verify hybrid systems without solving their differential equations (called differential invariants).

David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs in the School of Computer Science at Carnegie Mellon University. He received his Ph.D.

Kathleen M. Carley specializes in organization theory, dynamic network analysis, social networks, multi-agent systems and computational social science. In her work, she examines how cognitive, social and institutional factors affect individual, team, social and policy outcomes in a wide variety of areas including command and control, counter-terrorism, counter-narcotics, organizational design, corporate mergers and leadership.

PI:          Andre Platzer                

Student: Erik P. Zawadzki

Hard Problem: Security requirements are difficult to apply in design and must incorporate system architectrure, functional requirements, sexuriry policies, regulations, and standards.

Abstract

Many tools check code against lightweight, type-like specifications, and empirical data shows that these tools can find defects. However, little is known about the productivity benefits achievable from such tools, nor the mechanisms by which such productivity benefits might be realized.

Recent papers submitted by PI's..