Dr. Eunsuk Kang
I am interested in finding better ways to design software systems that are safe, secure, and reliable to use. I am especially interested in leveraging rigorous modeling and analysis techniques to detect and address potential flaws in an early development stage.
Interests. Software design, assurance, modeling, verification, security, safety, and cyber-physical systems.