Dr. Eunsuk Kang

Assistant Professor, Software and Societal Systems

Bio

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.

Applications. Some of the systems that I've recently worked on include intelligent vehicles, a water treatment plant, a medical device, IoT and mobile platforms, and web applications.