Information Trust Institute University of Illinois at Urbana-Champaign

Professor Mitra's work deals with the modeling and analysis of real-time, hybrid, and probabilistic systems, as well as software tools for and applications of them. Typical applications include control systems, robotics, mobile networks, and biological systems.

Professor Nicol and his students have been studying the security properties of large-scale systems through Project MOSES. The project is examining large-scale system behavior and developing simulation and modeling methodology that supports demonstration and evaluation of that behavior. Historically Prof. Nicol and his students have studied computer and communication networks.

Professor Overbye is concerned with improving power system trust by researching techniques to better glean information from the ever-growing stream of data generated by the normal operation of the power grid. If we could figure out how to properly present this data, human operators will have a fighting chance to address and contain blackouts before they cascade out of control.

Professor Sanders addresses the trustworthiness of systems by developing new modeling and simulation techniques. His PERFORM Performability Engineering Research Group at the University of Illinois at Urbana-Champaign conducts research in the design and validation of dependable and secure networked systems.

Prof. Vasudevan is interested in formal verification of hardware, SoC verification, model checking, term rewriting systems, system level equivalence checking, RTL verification and validation, multicore processor verification, and analog verification.

Tim Yardley is interested in analyzing and developing techniques for securing scalable distributed systems and networks.

funded by the Air Force Office of Scientific Research

funded by the National Science Foundation, George E. Brown, Jr. Network for Earthquake Engineering Simulation