Contact Information
Email
sunyoungkim_8_3_1 (at) gmail (dot) com
sy_8_3_1 (at) yonsei (dot) ac (dot) kr
[remove underscores!!]
Vitae
- Ewha Womans University
Researcher at Ewha Institute of Mathematical Sciences, Sep. 2018~ - Ewha Womans University
BK+ 21 Project Researcher at Dept. Math., Sep. 2017 ~ Aug. 2018 - Yonsei University
Researcher of University-Industry Foundation, Sep. 2015 ~ Nov. 2016 // Jan. 2016 ~ Aug. 2017 - Yonsei Graduate School
- Ph. D. in mathematics, Mar. 2009 ~ Feb. 2015
+ Thesis : A classification of 2-chains with 1-shell boundaries in rosy theories
+ Advisor : Byunghan Kim - M.S. in mathematics, Sep. 2006 ~ Feb. 2009
+ Thesis : Local stability, simplicity, and stable forking
+ Advisor : Byunghan Kim
- Ph. D. in mathematics, Mar. 2009 ~ Feb. 2015
Paper
-
'A classification of 2-chains having 1-shell boundaries in rosy theories' (with B. Kim, and J. Lee),
J. Symbolic Logic, 80, (2015) 322-340 -
'More on classification of 2-chains having 1-shell boundaries in rosy theories' (with J. Lee),
J. Mathematical Society of Japan, 69, (2017) 93-109 -
'Formalizing the meta-theory of first-order predicate logic' (with H. Herberlin, and G. Lee),
J. Korean Mathematical Society, 54, (2017), 1521-1536 - 'Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories' (with B. Kim, and J. Lee), submitted
Talks
-
East Asian Core Doctoral Forum on Mathematics 2018
: Getting closer to certified exact real computations, Tsinghua University (Beijing, January 2018) - Reliable Computation and Complexity on the Reals
, Dagstuhl (Schloss Dagstuhl, November 2017)
: Towards certified exact real computation - Workshop in Real Verification, KAIST (Daejeon, July 2017)
: Towards certified exact real computation - The 12th KWMS International Conference, KIAS (Seoul, June 2016)
: Modern Practice on Mathematics - Keio-Yonsei Joint Workshop, Keio University (Yokohama, November 2014)
: Constructive Real Numbers in Coq - Annual Meeting of the Korean Mathematical Society, Yonsei University (Seoul, October 2014)
: Constructive approach for real numbers - Classification Theory Workshop (ICM Satellite Conference), NIMS : CAMP (Daejeon, August 2014)
: More on classification of 2-chains with 1-shell boundaries in rosy - RIMS Model Theory Workshop, RIMS, Kyoto University (Kyoto, November 2013)
: A classification of 2-chains with 1-shell boundaries in rosy theories - The 13th Asian Logic Conference, Sun Yat-Sen University (Guanzhou, September 2013)
: A classification A classification of 2-chains with 1-shell boundaries Part II - First Joint Meeting of the Korean Association of Mathematical Societies, Chungnam National University (Daejeon, April 2010)
: A Study on Model Theory of Separably Closed Fields with linear algebraic groups - Joint Meeting of the KMS and the AMS, Ewha Womans University (Seoul, December 2009)
: A Study on Model Theory of Separably Closed Fields - Yonsei-Keio Joint Workshop on Mathematical Sciences, Yonsei University (Seoul, November 2009)
: A Study on Model Theory of Separably Closed Fields - KMS Spring Meeting, Ajou University (Suwon, April 2009)
: Local Stability, Simplicity and Stable Forking - Korean Association of Mathematical Logic, Yonsei University (Seoul, December 2008)
: Local Stability, Simplicity and Stable Forking - Yonsei-Keio Joint Workshop on Mathematical Sciences, Keio University (Yokohama, December 2007)
: Ultraproducts and Compactness Theorem
Misc
[Scholarships/Awards]
- Brain Korea 21 Program (2009-2012)
- Empowering Global Excellence, Nurturing Creative Superiority (Yonsei Graduate School, 2014)
- Students' Excellent Research Paper 2nd Award : Graduate School of Yonsei University
[Teaching]
- Yonsei University
- Engineering Mathematics II [2013 Fall | 2014 Summer | 2018 Fall]
- Engineering Mathematics I [2015 Spring, Summer | 2016 Spring, Summer | 2018 Spring]
- Linear Algebra and its Application [2015 Fall | 2016 Fall | 2018 Spring]
- Set theory [2017 Spring]
[Events] ( from Jan. 2017 )
- 2018.10.03 - 2018.10.06 : KMS-DMV joint meeting (Co-organizing the special session on "Logic and Computing")
- 2018.01.12 - 2018.01.16 : East Asian Core Doctoral Forum on Mathematics 2018
- 2017.11.26 - 2017.12.01 : Reliable Computation and Complexity on the Reals
- 2017.07.28 : Workshop in Real Verification
- 2017.07.24 - 2017.07.27 : CCA2017 (Co-organizer)
- 2017.07.10 - 2017.07.14 : the 15th Asian Logic Conference
- 2017.01.31 - 2017.02.21 : visiting at LMU (host : prof. Helmut Schwichtenberg)
[Grant]
- NRF 2017.03~2020.02