Pricing Actuary in Carrot General Insurance, Korea. Having Deep interests on the UBI(Usage Based Insurance) model, interpretable Machine Learning, optimal underwriting strateges, crypto currencies, and investments