Hello, I am a Ph.dc student and also engineering staff of The attached institute of ETRI. I'm interested in computer science specifically Program analysis and symbolic calculation. If you have similar interests, sharing and contacting always be welcome :)