Please note: This seminar will take place in DC 1304.
Eunsuk Kang, Assistant Professor
Software and Societal Systems Department
School of Computer Science, Carnegie Mellon University
Software systems are designed and implemented with various assumptions about the environment. For instance, safety-critical systems such as medical devices and industrial control systems often rely on assumptions about how the human operator interacts with the computer interface. However, once a system is deployed, the actual environment may deviate from its expected behavior (e.g., due to operator errors), possibly undermining the desired properties of the system.
To enable a systematic design of systems that are robust against such deviations, my colleagues and I have been working on a general, formal definition of robustness for software, along with techniques for analyzing a design for its robustness, comparing a pair of design alternatives, and repairing an existing design to improve its robustness. In this talk, I will present some of our ongoing work on this topic and discuss future directions.
Bio: Eunsuk Kang is an Assistant Professor in the Software and Societal Systems Department, School of Computer Science at Carnegie Mellon University. His research interests include software engineering and formal methods, with applications to system safety and security. He is especially interested in developing formal modeling techniques, design methodologies, and automated verification methods to construct safe and reliable software-intensive systems. He has applied his work to a diverse range of systems, including intelligent vehicles, unmanned aerial vehicles (UAVs), medical devices, water treatment plants, and mobile applications.
He is a winner of the NSF CAREER Award and 3 ACM SIGSOFT Distinguished Paper Awards. He received his PhD in Computer Science from MIT and a Bachelor of Software Engineering from the University of Waterloo.
200 University Avenue West
Waterloo, ON N2L 3G1