제 출판물을 다운로드하려면 여기에서 다운로드할 수 있습니다. 현재 저는 Synopsys, Inc.에서 공식 검증 기술 분야에서 일하고 있습니다. 질문이나 의견이 있으시면 언제든지 저에게 연락해 주세요.

If you wish to download my publications, they are available here. Presently, I work in Formal verification techniques at Synopsys, Inc. Please feel free to contact me if you have any questions or comments.