Abstract: Ongoing breakthroughs in nationally important research areas like Verification and Artificial Intelligence depend on continuing advances in high-performance automated theorem proving tools. The typical use of these tools is as backends: application problems are translated by an application tool into (typically very large and complex) logic formulas, which are then handed off to a logic solver. Different tradeoffs between linguistic expressiveness and the difficulty of solving the resulting problems give rise to different logics.

Abstract: Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric- power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and control by exploiting the advances in wireless sensor-actuator networks, the internet of “everything”, data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of com- putational and physical components. In addition, in many cases, CPS also interact with human decision makers.

Abstract: Motivation: Power transmission networks underpin our way of life and are at the center of the transformation of the US energy system. “Keeping the lights on” as we transform an already large and complicated power system is a fundamental challenge for cyber- physical engineering. Future power networks will be instrumented with synchrophasor measurement units, communication infrastructures and distributed computing, and are therefore prototypical examples of cyber-physical systems with tightly coupled compu- tational and physical resources.

A computationally efficient cryptographic algorithm.

  ABSTRACT

  ABSTRACT

  ABSTRACT

ABSTRACT

  ABSTRACT

  ABSTRACT