Wonyeol Lee

Registered user since Fri 3 Jul 2015

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)

Contributions

Show activities from other conferences

Using general profile