Byoungho Son

Logo

Ph.D student at POSTECH

View My GitHub Profile

Hello, there! I am a Ph.D student at POSTECH. I study formal methods at Software Verification Lab, advised by Kyungmin Bae. Here is my CV.

Research Interest

I am broadly interested in foundations and applications of formal verification techniques.

Recently, my work revolves around techniques such as rewriting logic, model checking, and heuristic search.

Education

Experience

Publication

(See Google Scholar / DBLP).

Teaching

Contact

Misc.