Geunyeol Yu -

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

2026

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

ASE

Author of Efficient SMT-Based Model Checking for Signal Temporal Logic within the Artifact Evaluation-track
Author of Efficient SMT-Based Model Checking for Signal Temporal Logic within the Research Papers-track