We research Software and Cyber Physical Systems!

alt text

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.

See our Research and Team for more info!

Latest Posts

Join us!

If you are interested in joining our lab, please read the following information tailored to your current academic or professional status.