Name:Wonyeol Lee

Bio:

Wonyeol Lee is a Postdoctoral Associate at CMU working with Feras Saad. I received a Ph.D. degree in Computer Science from Stanford University, where I was advised by Alex Aiken and supported by Samsung Scholarship. In 2017-2020, I was a researcher at KAIST to serve military service. I received a B.S. degree in Computer Science & Mathematics from POSTECH.

His research aims to broaden our theoretical understanding of continuous computations performed in practice and provide practical implications based on it. I am particularly interested in studying various gaps between the theory and practice of continuous computations and analyzing the correctness of these computations under these gaps.

Country:United States

Affiliation:Carnegie Mellon University

Research interests:Correctness (provable guarantee | verification | program analysis), Continuous Computation (finite-precision | differentiable | probabilistic)