Wonyeol Lee

Registered user since Fri 3 Jul 2015

Name:Wonyeol Lee

Wonyeol Lee is a Postdoctoral Associate at CMU, working with Feras Saad. He received a PhD degree in Computer Science from Stanford University, working under Alex Aiken. In 2017-2020 he was at KAIST for military service, working with Hongseok Yang. He received a BS degree in Computer Science & Mathematics from POSTECH. He is a recipient of Samsung Scholarship.

His research aims to broaden our theoretical understanding of continuous computations performed in practice and provide practical implications based on it. He is 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)