Eunsuk works mainly at the intersection of software engineering and formal methods. He is especially interested in leveraging rigorous modeling and analysis techniques to design software systems that are safe, secure, and reliable. His current interests include software design, requirements, modeling, specification and verification, system safety, security, and cyber-physical systems.
Website
TLDR
