Balzer Earns NSF CAREER Award Monday, February 24, 2025 Stephanie Balzer, an assistant professor in the Computer Science Department, has earned an NSF Faculty Early Career Develpment (CAREER) Award to research and improve underlying technologies that support cloud computing and IoT applications and fund graduate and undergraduate research in these areas. Stephanie Balzer, an assistant professor in the Computer Science Department, has received a Faculty Early Career Development Program (CAREER) award from the National Science Foundation. The awards are the foundation's most prestigious for young faculty researchers. The computing landscape has been gradually shifting from monolithic to distributed systems, catering to, for example, cloud computing and Internet of Things (IoT) applications. This shift challenges both the development and verification of such applications because they have to interact with other, concurrently running components in an orchestrated way, following intended protocols, and because of their inherent heterogeneity. The project's focus is the development of a framework for verifying compliance of these heterogeneous systems with the intended protocols of interactions between them, and the application of the framework to the verification of IoT systems.Balzer received $646,000 to research and improve underlying technologies that support cloud computing and IoT applications and fund graduate and undergraduate research in these areas. Her research goals are to enable the construction of failure-free software, software that is correct by design and secure to run using compositional methods, guaranteeing that individually verified parts compose to a verifiable whole.
