I am a master’s student in Computer Science and Engineering at Korea University and a member of the Software Analysis Lab. My research goal is to make program analysis techniques practical for real-world software systems. Previously, I worked as a Python backend developer at a fintech startup, developing automated systems for loan and investment processes. In this role, I focused on software maintainability through robust architectural design, clear documentation, and sustainable engineering practices.
고려대학교 대학원 컴퓨터학과 석사과정에 재학 중인 임정섭입니다. 소프트웨어 분석 연구실에 소속되어, 현실의 대규모 소프트웨어 시스템에서 활용 가능한 실용적인 프로그램 분석 기법을 목표로 연구하고 있습니다. 이전에는 금융 스타트업에서 Python 백엔드 개발자로 근무하며 대출 및 투자 프로세스를 자동화하는 시스템을 개발했습니다. 특히 유지보수하기 쉬운 소프트웨어를 만드는 일에 가치를 두고, 탄탄한 아키텍처 설계와 문서화 그리고 건강한 개발 문화를 구축하는 데 힘썼습니다.
- Programming languages
- Static program analysis
- Python (language and ecosystems)
- Automated software testing