Registered user since Fri 3 Jul 2015
Name:Wonyeol Lee
Bio:
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
Affiliation:KAIST
Personal website:https://cs.stanford.edu/people/wonyeol/
Research interests:Program Analysis, Verification, Numerical Programs, Probabilistic Programs, Bayesian Inference
Contributions
POPL 2020-profile
View general profile
View general profile