연세대학교 이학사
연세대학교(이학석사)
연세대학교(이학박사)

연세대학교 시간강사
1995.8 ~ 1997.9 제주대학교 사범대학 수학교육과 전임강사
1997.10 ~ 2001.9 제주대학교 사범대학 수학교육과 조교수
2001.10 ~ 2006.9 제주대학교 사범대학 수학교육과 부교수
2006.10 ~ 현재 제주대학교 사범대학 수학교육과 교수
제주대학교 사범대학 부학장, 수학교육과장

2차 퍼지수에 대한 정규퍼지확률 (한국 퍼지 및 지능시스템학회 논문지 2005.6)
진리함수사상 (한국 퍼지 및 지능시스템학회 논문지 2006.4)
수학수업에서의 ICT 활용 효과 (백록논총 2006.8)
퍼지논리'부정'에 대한 알고리즘과 그래프(기초과학연구소 논문집 2007.6)
GSP를 이용한 작도방법 연구 (백록논총 2007.8)
진리함수사상을 이용한 일반화된 대우추론(한국 퍼지 및 지능시스템학회 논문지 2007.1)
Some Properties of r-generalized fuzzy closed sets (Fushpa Publishing House, Far East Journal of Mathematical Sciences 2002.12)
Housdorff L-topological spaces over a base space, Elseier(Fuzzy Sets and Systems, 2004.10.16)
"Fibrewise complete quasi-uniform spaces"(Pushipa Publishing House, JP Journal of Geometry and Topology 2004.7)
Pseudo MV-algebras induced by functions(Internation Mathematical Forum, 2009.1)
The concept of σ-morphism as a probability mesure on the set of effects (한국퍼지 및 지능시스템학회 논문지, 2009.6)
The generaliged triangular fuzzy set(충청수학회지, 2009.7)

제주대학교 수학교육과(이학사)
한국교원대학교 수학교육과(교육학석사)
한국교원대학교 수학교육과(교육학박사)

2012.9~2016.9 제주대학교 사범대학 수학교육과 조교수
2016.8~2018.8 제주대학교 수학교육과 학과장
2016.10~2025.8. 제주대학교 사범대학 수학교육과 부교수
2025.9~ 현재 제주대학교 사범대학 수학교육과 교수
2022.3~2024.2 제주대학교 사범대학 부학장
2024.3~2026.2 제주대학교 사범대학 학장

* 수학 교수-학습에서의 동양 수학사 활용에 관한 연구. 수학교육 49(1). 한국수학교육학회.
* 산학서의 서문에 나타난 산학에 대한 인식. 수학교육논문집 23(3). 한국수학교육학회.
* 한성순보와 한성주보의 과학, 수학 관련 기사에 관한 고찰. 수학교육 48(3). 한국수학교육학회.
* 무한에 대한 인식이 수학에 미치는 영향. 수학교육 49(2). 한국수학교육학회.
* 10의 보수 찾기 게임을 통한 초등학교 1학년 학생의 수감각 분석. 초등수학교육 14(3). 한국수학교육학회.
* 정사각 형태가 아닌 마방진에 대한 고찰. 수학교육논문집 24(1). 한국수학교육학회.
* 황윤석의 '산학입문'과 학교수학에의 응용. 교육과학연구 12(1). 제주대학교교육과학연구소.
* 중학교 2학년 스토리텔링 모델 수학교과서 개발 및 적용. 수학교육논문집 27(3). 한국수학교육학회.
* A study of curriculum for a dual bachelor's degree including a teaching certificate. International journal of social, human science and engineering 8(2). World academy of Science, Engineering and Technology.
* 안지재의 상명산법. 수학교육 53(1). 한국수학교육학회.
* Harel과 Sowder의 증명 스키마에 따른 영재학생들의 수학적 정당화 유형 분석. 교육과학연구 16(1). 제주대학교교육과학연구소.
* 조선시대 수학과 수학자에 대한 역사 드라마. 한국콘텐츠학회논문지 14(7). 한국콘텐츠학회.
* 수업시연에 나타나는 예비 수학교사의 발문 유형과 특성 분석. 교사교육연구 53(3). 부산대학교 과학교육연구소.
* 수학 은유분석을 통한 대학생들의 학교 수학에 대한 인식과 선호도 조사. 수학교육논문집 29(1). 한국수학교육학회.

한국과학기술원(KAIST) 수학과 학사 (2002)
한국과학기술원 수학과 석사 (2004)
한국과학기술원 수리과학과 이학박사 (2010)

고등과학원(KIAS) 연구원
서울과학고등학교 교사

- Wedge operations and doubling operations of real toric manifolds, Chinese Ann. Math. Ser. B 38(6)(2017), 1321-1334.
- The Betti numbers of real toric varieties associated to Weyl chambers of type B, Chinese Ann. Math. Ser. B 38(6)(2017), 1213-1222. (with S. Choi and B. Park)
- Wedge operations and torus symmetries II, Canad. J. Math. 69(4) (2017), 767-789. (with S. Choi)
- On the cohomology and their torsion of real toric objects, Forum Math. 29(3) (2017), 543-554. (with S. Choi)
- Wedge operations and a new family of projective toric manifolds, Israel J. Math. 219(1) (2017), 353-377. (with S. Choi)
- Wedge operations and torus symmetries, Tohoku Math. J. (2) 68(1) (2016), 91-138. (with S. Choi)
- A new graph invariant arises in toric topology, J. Math. Soc. Japan 67(2) (2015), 699-720. (with S. Choi)

충북대학교 수학과 이학사 (2006)
충북대학교 수학과 이학석사 (2008)
충북대학교 수학과 이학박사 (2014)

충북대학교 연구원
성균관대학교 연구원
한양대학교 연구원

- B. J. Choi, Approximation semigroups and some convergence results in geodesic metric spaces- J. Nonlinear Convex Anal. 20 (2019), 703-714.
- B. J. Choi and U. C. Ji, Toeplitz lemma in geodesic metric space and convergence of inductive means - J. Math. Anal. Appl. 465 (2018), 713-722.
- B. J. Choi, Convergence of Mann's alternating projections in CAT(k) spaces , Bull. Austral. Math. Soc., 98 (2018), 134？143.
-B. J. Choi and U. C. Ji, Noncommutative Fuk-Nagaev inequalities and their applications, Bull. Malays. Math. Sci. Soc., 41 (2018), 1327？1342.
- B. J. Choi, U. C. Ji and Y. Lim, Inequalities for positive module operators on von Neumann algebras, J. Math. Phys. 59 (2018), 063513, 11 pp.
- B. J. Choi, U. C. Ji and Y. Lim, Convergences of alternating projections in CAT(k) spaces, Constr Approx 47 (2018), 391-405.
-B. J. Choi, J. Heo and U. C. Ji, Law of large numbers for weighted inductive means in a Hadamard space, Math. Nachr., 290 (2017), 2775？2787.
-B. J. Choi and U. C. Ji, Exponential convergence rates for weighted sums in noncommutative probability space, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 19 (2016), 1650027, 13 pp.

인천대학교, 수학과, 이학사 (2013)
포항공과대학교(POSTECH), 수학과, 이학석사 (2015)
Karl-Franzens University of Graz, Inst. of Math. and Sci. Comp., 이학박사 (2019)

인천대학교 기초과학연구소 연구원
울산과학기술원(UNIST) 연구원

-On Erdos-Ginzburg-Ziv inverse theorems for Dihedral and Dicyclic groups, Israel J. Math. 238 (2020), 715 - 743 (with Q. Zhong).
-On the algebraic and arithmetic structure of the monoid of product-one sequences, J. Commut. Algebra 12 (2020), 409 - 433.
-On minimal product-one sequences of maximal length over Dihedral and Dicyclic groups, Commun. Korean Math. Sco. 35 (2020), 83 - 116 (with Q. Zhong).
-On the algebraic and arithmetic structure of the monoid of product-one sequences II, Period. Math. Hungar. 78 (2019), 203 - 230.

충북대학교 수학과 이학사 (2007)
서강대학교 수학과 이학석사 (2009)
서강대학교 수학과 이학박사 (2016)

연세대학교 CMAC 연구원

- D. Kim, L^3-solutions for the stationary Navier-Stokes equations in the exterior of a rotating obstacle, Nonlinear Anal. Real World Appl. 52 (2020), 103020.
- D. Kim, The energy equality and regularity results for the stationary Navier-Stokes equations on the exterior of a rotating obstacle, Nonlinear Anal. 181 (2019), 119-140.
- D. Kim, L^q-estimates for the stationary Oseen equations on the exterior of a rotating obstacle, Math. Methods Appl. Sci. 41 (2018), 4506-4527.
- D. Kim, H. Kim, Very weak solutions of the stationary Navier-Stokes equations for an incompressible fluid past obstacles, Nonlinear Anal. 147 (2016), 145-168.
- D. Kim, H. Kim, L^q-estimates for the stationary Oseen equations on exterior domains, J. Differential Equations 257 (2014), 3669-3699.