We research and develop tools for software assurance and design at Carnegie Mellon University led by Professor Eunsuk Kang. We are a part of the Software and Societal Systems Department in the School of Computer Science.
We are interested in leveraging rigorous modeling and analysis techniques to design software systems that are safe, secure, and reliable. Our current work involves software design, requirements, modeling, specification and verification, system safety, security, and cyber-physical systems.