Study Journey

Personal insights from my studies

SDS Cyber Security Conference 2021 후기

4 min read · 2021

Formal Semantics

2 min read · 2020

Program Synthesis

9 min read · 2020

Open Source License

1 min read · July 21, 2020

2020 · Open-source License
Lazy Evaluation

2 min read · July 12, 2020

2020 · Research Programming-language
Fault Localization

1 min read · July 5, 2020

2020 · Research Programming-language
Program Synthesis

9 min read · February 8, 2020

2020 · Research Programming-language
angr installation

1 min read · December 28, 2019

2019 · Programming-language