Research assistant in Institute of Information Science, Academia Sinica,Taiwan. I work on categorical aspect of many-valued logic such as modal logic and dynamic logic for living. My main interests are geometric stability theory, classification theory and model theoretic algebra. I wish to study Math Ph.D. in mathematical logic which is a field deeply attract me but none of mathematicians work on it in my country.
©