Yeonseok Lee -

Registered user since Wed 22 May 2024

Name:Yeonseok Lee

Country:Japan

Affiliation:Nagoya University

Research interests:Theory of computation, Logic, Separation logic

Contributions