Kwangkeun Yi
1 book
About the Author
Kwangkeun Yi is a distinguished computer scientist whose research centers on the theory and application of static program analysis. He is the author of Introduction to Static Analysis: An Abstract Interpretation Perspective (MIT Press), a foundational text that guides readers through the principles of abstract interpretation and their use in building sound and scalable analyzers. Yi’s work bridges rigorous mathematical foundations with practical tool development, making advanced verification techniques accessible to both students and practitioners. His contributions have shaped modern approaches to ensuring software reliability and security.
Common genres
Writing style
precise
rigorous
accessible
Books by Kwangkeun Yi
