Wonyeol Lee

Registered user since Fri 3 Jul 2015

Name:Wonyeol Lee

Wonyeol is a Ph.D. candidate in Computer Science at Stanford University, advised by Alex Aiken. In 2017-2020, he takes a leave from Stanford to fulfill military service, and works as a research scientist at KAIST, advised by Hongseok Yang.

Country:South Korea
Research interests:Program Analysis, Verification, Numerical Programs, Probabilistic Programs, Bayesian Inference


POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track
POPL 2018 Author of On Automatically Proving the Correctness of math.h Implementations within the Research Papers-track
PLDI 2016 Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track