conf.researchr.org / Geunyeol Yu
![Geunyeol Yu](https://conf.researchr.org/getProfileImage/geunyeolyu/cbcf50b9-2320-4ace-b1ec-c7e3791152a3/small.jpg?1712729607000)
Registered user since Tue 14 Sep 2021
Name:Geunyeol Yu
Country:South Korea
Affiliation:Pohang University of Science and Technology (POSTECH)
Research interests:Model checking, automated reasoning
Contributions
Registered user since Tue 14 Sep 2021
Contributions