高速

1992-1998	加利福尼亚大学洛杉矶分校数学系博士
1989-1992	南开大学数学研究所研究生, 导师：胡国定教授
1985-1989	北京大学数学系本科

2021-至今	南开大学讲席教授
2018-2021	北得州大学校董讲席教授
2017-2021	北得州大学理学院院长
2011-2016	北得州大学数学系主任
2010-2016	北得州大学项目主任
2008-2021	北得州大学数学系教授
2005-2008	北得州大学数学系副教授
2001-2005	北得州大学数学系助理教授

高速，南开大学讲席教授。本科毕业于北京大学数学系，硕士毕业于陈省身数学研究所，1998年取得美国加州大学洛杉矶分校博士学位。1998—2001年，在加州理工学院（美国）从事博士后研究。

2001—2021年，高速教授任职于美国北得克萨斯大学，历任助理教授、副教授、教授、校董讲席教授，期间先后出任数学系主任、理学院创始院长等核心管理职务。2021年起，重返南开大学担任讲席教授，持续助力数学领域的学术发展。

研究方向聚焦于数理逻辑与数学基础，同时在拓扑群、符号与拓扑动力系统及遍历论等领域成果丰硕。他在描述集合论领域取得一系列突破性研究成果，成功攻克该领域多个核心公开问题。相关成果发表于《Inventiones Mathematicae》《Advances in Mathematics》《Memoirs of the American Mathematical Society》《Transactions of the American Mathematical Society》等核心数学期刊，以及《Journal of Symbolic Logic》《Bulletin of Symbolic Logic》《Annals of Pure and Applied Logic》等逻辑类权威期刊。

学术服务方面，高速教授担任《中国科学：数学》及两种国际逻辑期刊编委，兼任符号逻辑协会（Association for Symbolic Logic）出版丛书《Perspectives in Logic》主编，同时为该协会理事会及执委会成员；此外，他还担任中国数学会数理逻辑专业委员会主任。

数理逻辑与数学基础、描述集合论、动力系统、拓扑学及拓扑群

Courses Taught

Nankai University

1. Effective Descriptive Set Theory

2. Math 0079 General Topology

University of North Texas

1. Math 1350 Mathematics for Elementary Education Majors

2. Math 1650 PreCalculus

3. Math 1710 Calculus I

4. Math 1720 Calculus II

5. Math 2730 Multivariable Calculus

6. Math 3000 Real Analysis I

7. Math 3510 Abstract Algebra I

8. Math 4010 Introduction to Metamathematics

9. Math 4060 Foundations of Geometry

10. Math 4500 Introduction to Topology

11. Math 5010 Mathematical Logic and Set Theory

12. Math 5020 Mathematical Logic and Set Theory

13. Math 5270 Mathematical Theory of Computation

14. Math 5600 Introduction to Topology

15. Math 5610 Topology

16. Math 5620 Topology

17. Math 5700 Selected Topics in Contemporary Mathematics

18. Math 6010 Topics in Logic and Foundations

California Institute of Technology

1. Math 116 Mathematical Logic

2. Math 117 Computability Theory

Fellowships and Grants

1.National Natural Science Foundation of China 12271263

Title: A Study of the Automorphism Groups of Ultraextensive Spaces

Role: PI

Award Amount: 470,000 yuan

Award Period: 2023-2026

2.National Natural Science Foundation of China 12250710128

Title: Borel Combinatorics of Countable Group Actions and Applications

Role: PI

Award Amount: 1,600,000 yuan

Award Period: 2023-2024

3.National Science Foundation DMS-1800323

Title: Descriptive Dynamics and Borel Combinatorics of Group Actions

Role: PI

Award Amount: $270,000

Award Period: 2018-2021

4.National Science Foundation DMS-1259803

Title: Fostering Outstanding Cohorts in Undergraduate Science II

Role: Co-PI

Award Amount: $625,235

Award Period: 2013-2019

5.National Science Foundation DMS-1201290

Title: Equivalence Relations, Symbolic Dynamics, and Descriptive Set Theory Role: PI

Award Amount: $240,026

Award Period: 2012-2016

6.National Science Foundation DMS-0943870

Title: EMSW-21-RTG: Research Training Group in Logic and Dynamics

Role: PI

Award Amount: $1,507,481

Award Period: 2010-2016

7.National Science Foundation DMS-0901853

Title: Invariant Descriptive Set Theory and Its Applications

Role: PI

Award Amount: $260,417

Award Period: 2009-2013

8.John Templeton Foundation

Title: Classifying Infinity

Role: PI

Award Amount: $37,873

Award Period: 2008-2010

9.National Science Foundation DMS-0501039

Title: Orbit Equivalence Relations and Classification Problems

Role: PI

Award Amount: $91,345

Award Period: 2005-2009

10.National Science Foundation DMS-0444019

Title: Conference in Mathematical Logic At UNT

Role: Co-PI

Award Amount: $16,000

Award Period: 2004

11.National Science Foundation DMS-0100439

Title: Complex Definable Equivalence Relations and Applications

Role: PI

Award Amount: $67,491

Award Period: 2001-2005

12.University of North Texas. Faculty Research Grants, 2001-2002, 2002-2003, 2003-2004 and 2005-2006.

13.University of North Texas. Junior Faculty Summer Research Fellowship, 2001-2002.

14.Alfred Sloan Foundation. Alfred Sloan Dissertation Fellowship, 1997-1998.

Theses and Monographs

Monograph

1. S. Gao and A. S. Kechris, On the classification of Polish metric spaces up to isometry,Memoirs of the American Mathematical Society 161, no. 766, 2003, viii+78pp.
DOI: 10.1090/memo/0766

2. S. Gao, Invariant Descriptive Set Theory. Pure and Applied Mathematics, A Series of Monographs and Textbooks, 293. Taylor & Francis Group, 2009.
DOI:10.1201/9781584887942

3. S. Gao, S. Jackson and B. Seward, Group colorings and Bernoulli subflows, Memoirs of the American Mathematical Society 241, no. 1141, 2016, vi+241pp.
DOI:10.1090/memo/1141

4. S. Gao, S. Jackson, E. Krohne, and B. Seward, Continuous combinatorics of abelian group actions, Memoirs of the American Mathematical Society 311, no. 1573, 2025, v+120pp.
DOI:10.1090/memo/1573

Recent Research Papers

57. M. Foreman, S. Gao, A. Hill, C. E. Silva, and B. Weiss, Rank-1 transformations, odometers, and finite factors, Israel Journal of Mathematics 255 (2023), 231-249.
DOI: 10.1007/s11856-022-2451-y

58. S. Gao, Descriptive combinatorics of countable abelian group actions (in Chinese), Scientia Sinica Mathematica 54 (2024), 575-592.
DOI: 10.1360/SSM-2023-0112

59. S. Gao, L. Jacoby, W. Johnson, J. Leng, R. Li, C. E. Silva, Y. Wu, On finite spacer rank for words and subshifts, Discrete and Continuous Dynamical Systems 45 (2025), no. 1, 248-285.
DOI: 10.3934/dcds.2024092

60. S. Gao, R. Li, Subshifts of finite symbolic rank, Ergodic Theory and Dynamical Systems 45 (2025), no. 3, 807-848.
DOI: 10.1017/etds.2024.45

61. S. Gao, R. Wang and T. Wang, Continuous edge chromatic numbers of abelian group actions, Science China Mathematics 68 (2025), no. 6, 1269-1280.
DOI: 10.1007/s11425-024-2336-x

62. M. Etedadialiabadi and S. Gao, On extensions of partial isometries, in: Airswarya, C., Sen, P.K., Srivastava, S.M. (eds) Logic and Its Applications. ICLA 2025, pp. 3-33. Lecture Notes in Computer Science vol. 15402. Springer, Cham, 2025.
DOI: 10.1007/978-3-031-89610-1_1

63. S. Gao and M. Xiao, The Borel Ramsey properties for countable Borel equivalence relations, Proceedings of the American Mathematical Society 153 (2025), no. 11, 4921-4932.
DOI: 10.1090/proc/17340

64. S. Gao and X. Ren, The amalgamation property and Urysohn structures in continuous logic, The Journal of Symbolic Logic, published online 4/12/2024.
DOI: 10.1017/jsl.2024.26

65. S. Gao and M. Xiao, An order analysis of hyperfinite Borel equivalence relations, The Journal of Symbolic Logic, published online 3/21/2025.
DOI: 10.1017/jsl.2024.82

66. S. Gao, F. Li, On the isomorphism relation for omnigenous locally finite groups, to appear in The Journal of Symbolic Logic, 2025.
DOI: 10.1017/jsl.2025.10138

Older Research Papers

1. S. Gao, The degrees of conditional problems, The Journal of Symbolic Logic 59 (1994), no. 1, 166- 181.
DOI: 10.2307/2275258

2. S. Gao, On automorphism groups of countable structures, The Journal of Symbolic Logic 63 (1998), no. 3, 891-896.
DOI: 10.2307/2586718

3. S. Gao, A dichotomy theorem for mono-unary algebras, Fundamenta Mathematicae 163 (2000), no. 1, 25-37.
DOI:10.4064/fm-163-1-25-37

4. S.Gao, Coding subset shift by subgroup conjugacy, The Bulletin of the London Mathematical Society 32 (2000), no. 6, 653-657.
DOI: 10.1112/S0024609300007463

5. S. Gao, A remark on Martin's conjecture, The Journal of Symbolic Logic 66 (2001), no. 1,401-406.
DOI:10.2307/2694929

6. R. Camerlo and S. Gao, The completeness of the isomorphism relation for countable Boolean algebras, Transactions of the American Mathematical Society 353 (2001), no. 2, 491-518.
DOI: 10.1090/S0002-9947-00-02659-3

7. S. Gao, Some dichotomy theorems for isomorphism relations of countable models, The Journal of Symbolic Logic 66 (2001), no. 2, 902-922.
DOI: 10.2307/2695052

8. S. Gao, The action of SL(2,Z) on the subsets of Z2, Proceedings of the American Mathematical Society 129 (2001), no. 5, 1507-1512.
DOI: 10.1090/S0002-9939-00-05721-X

9. S. Gao and P. Gerdes, Computably enumerable equivalence relations, Studia Logica 67(2001), no. 1, 27-59.
DOI:10.1023/A:1010521410739

10. J. Clemens, S. Gao and A. S. Kechris, Polish metric spaces: their classification and isometry groups, The Bulletin of Symbolic Logic 7 (2001), no. 3, 361-375.
DOI: 10.2307/2687754

11. S. Gao, Some applications of the Adams-Kechris technique, Proceedings of the American Mathematical Society 130 (2002), no. 3, 863-874.
DOI: 10.1090/S0002-9939-01-06082-8

12. S. Gao and V. Pestov, On a universality property of some abelian Polish groups,Fundamenta Mathematicae 179 (2003), no. 1, 1-15.
DOI:10.4064/fm179-1-1

13. S. Gao, The homeomorphism problem for countable topological spaces, Topology and Its Applications 139 (2004), no. 1-3, 97-112.
DOI:10.1016/j.topol.2003.09.005

14. G. E. Jan, K.-Y. Chang, S. Gao and I. Parberry, A 4-geometry maze router and its application on multi-terminal nets, ACM Transactions on Design  Automation of Electronic Systems (TODAES) 10 (2005), no. 1, 116-135.
DOI:10.1145/1044111.1044118

15. S. Gao, Unitary group actions and Hilbertian Polish metric spaces, in Logic and Its Applications, 53-72. Contemporary Mathematics 380, American Mathematical Society, RI, 2005.
DOI:10.1090/conm/380/07107

16. S. Gao and C. Shao, Random generations of the countable random graph, Annals of  Pure and Applied Logic 143 (2006), 79-86.
DOI:10.1016/j.apal.2005.12.016

17. L. Ding and S. Gao, Diagonal actions and Borel equivalence relations, The Journal of Symbolic Logic 71 (2006), no. 4, 1081-1096.
DOI: 10.2178/jsl/1164060445

18. S. Gao, Equivalence relations and classical Banach spaces, in Mathematical Logic in Asia, 70- 89, Proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16- 19 August 2005, S.S. Goncharov, R Downey, and H. Ono, eds., World Scientific, 2006.
DOI:10.1142/9789812772749_0007

19. L. Ding and S. Gao, On generalizations of Lavrentieff's theorem for Polish group actions,Transactions of the American Mathematical Society 359 (2007), no. 1, 417-426.
DOI: 10.1090/S0002-9947-06-03991-2

20. L. Ding and S. Gao, New metrics on free groups, Topology and Its Applications 154 (2007), 410- 420.
DOI:10.1016/j.topol.2006.05.006

21. S. Gao, A. W. Miller and W. A. R. Weiss, Steinhaus sets and Jackson sets, in Advances in Logic, 127-145. Contemporary Mathematics 425, American Mathematical Society,RI, 2007.
DOI:10.1090/conm/425/08122

22. S. Gao, Complexity ranks of countable models, Notre Dame Journal of Formal Logic 48 (2007), no. 1, 33-48.
DOI:10.1305/ndjfl/1172787543

23. L. Ding and S. Gao, Graev metric groups and Polishable subgroups,Advances in Mathematics 213 (2007), 887-901.
DOI:10.1016/j.aim.2007.01.014

24. S. Go, S. Jackson, M. Laczkovich and R. D. Mauldin, On the unique representation of families of sets, Transactions of the American Mathematical Society 360 (2008), 939- 958.
DOI: 10.1090/S0002-9947-07-04243-2

25. S. Gao and Y. Zhang, Definable sets of generators in maximal cofinitary groups, Advances in Mathematics 217 (2008), 814-832.
DOI:10.1016/j.aim.2007.09.005

26. L. Ding and S. Gao, On separable Banach subspaces, Journal of Mathematical Analysis and Applications 340 (2008), 746-751.
DOI:10.1016/j.jmaa.2007.08.057

27. S. Gao, S. Jackson and V. Kieftenbeld, A classification of ordinals up to Borel isomorphism, Fundamenta Mathematicae 198 (2008), 61-76.
DOI:10.4064/fm198-1-3

28. S. Gao and M. Oliver, Borel complexity of isomorphism between quotient Boolean algebras, The Journal of Symbolic Logic 73 (2008), no. 4, 1328-1340.
DOI: 10.2178/jsl/1230396922

29. L. van den Dries and S. Gao, A Polish group without Lie sums, Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg 79 (2009), 135-147.
DOI:10.1007/s12188-009-0019-y

30. S. Gao, S. Jackson and B. Seward, A coloring property for countable groups, Mathematical Proceedings of the Cambridge Philosophical Society 147 (2009), no. 3, 579- 592.
DOI:10.1017/S0305004109002655

31. S. Gao and V. Kieftenbeld, Resolvable maps preserve complete metrizability,Proceedings of the American Mathematical Society 138 (2010), no. 6, 2245-2252.
DOI: 10.1090/S0002-9939-10-10246-9

32. S. Gao, S. Jackson and V. Kieftenbeld, The Laczkovich-Komjath property for coanalytic equivalence relations, The Journal of Symbolic Logic 75 (2010), no. 3, 1091- 1101.
DOI: 10.2178/jsl/1278682218

33. S. Gao and C. Shao, Polish ultrametric Urysohn spaces and their isometry groups,Topology and Its Applications 158 (2011), 492-508.
DOI: 10.1016/j.topol.2010.12.003

34. S. Gao, S. Jackson and B. Sari, On the complexity of the uniform homeomorphism relation between separable Banach spaces, Transactions of the American Mathematical Society 363 (2011), no. 6, 3071-3099.
DOI:10.1090/S0002-9947-2011-05075-0

35. S. Gao, Graev ultrametrics and surjectively universal non-Archimedean Polish groups,Topology and Its Applications 160 (2013), 862-870.
DOI:10.1016/j.topol.2013.02.009

36. S. Gao, Faithful representations of Polishable ideals, in Proceedings of the 12th Asian Logic Conference, 125-143. World Scientific, NJ, 2013.
DOI:10.1142/9789814449274_0007

37. L. Ding and S. Gao, On the Borelness of the intersection operation, Israel Journal of Mathematics 195 (2013), no. 2, 783-800.
DOI:10.1007/s11856-012-0115-z

38. S. Gao and M. Xuan, On non-Archimedean Polish groups with two-sided invariant metrics, Topology and Its Applications 161 (2014), 343-353.
DOI:10.1016/j.topol.2013.10.034

39. S. Gao and A. Hill, A model for rank one measure preserving transformations, Topology and Its Applications 174 (2014), 25-40.
DOI: 10.1016/j.topol.2014.06.010

40. L. Ding and S. Gao, Is there a Spectral Theory for all bounded linear operators? Notices of the American Mathematical Society 61 (2014), no. 7, 730-735.
DOI:10.1090/noti1146

41. S. Gao and S. Jackson, Countable abelian group actions and hyperfinite equivalence relations, Inventiones Mathematicae 201 (2015), no. 1, 309-383.
DOI:10.1007/s00222-015-0603-y

42. S. Gao and Z. Yin, A note on equivalence relations ℓp(ℓq), Mathematical Logic Quarterly 61 (2015), no. 6, 516-523.
DOI:10.1002/malq.201500051

43. S. Gao and A. Hill, Topological isomorphism for rank-1 systems, Journal d′Analyse Mathematique, 128 (2016), no. 1, 1-49.
DOI:10.1007/s11854-016-0001-4

44. S. Gao and A. Hill, Bounded rank-one transformations, Journal d′Analyse Mathematique,129 (2016), 341-365.
DOI:10.1007/s11854-016-0024-x

45. L. Ding and S. Gao, Non-archimedean abelian Polish groups and their actions, Advances in Mathematics 307(2017), 312-343.
DOI:10.1016/j.aim.2016.11.019

46. C. Chang and S. Gao, The complexity of the classification problem of continua, Proceedings of the American Mathematical Society 145 (2017), no. 3, 1329-1342.
DOI: 10.1090/proc/13288

47. S. Gao and C. Ziegler, On polynomial-time relation reducibility, Notre Dame Journal of Formal Logic 58 (2017), no. 2, 271-285.
DOI:10.1215/00294527-3867118

48. S. Gao, Equivalence relations, classification problems, and descriptive set theory (in Chinese), in 2015 Mathematics Institute Lectures, 91-109. Chinese Academy of Sciences, 2017.

49. S. Gao and C. Ziegler, Topological mixing properties of rank-one subshifts, Transactions of the London Mathematical Society 6 (2019), no. 1, 1-21.
DOI:10.1112/tlm3.12016

50. C. Chang and S. Gao, The complexity of the classification problems of finite-dimensional continua, Topology and Its Applications 267 (2019), 106876.
DOI: 10.1016/j.topol.2019.106876

51. S. Gao and C. Ziegler, Topological factors of rank-one subshifts, Proceedings of the American Mathematical Society, Series B 7 (2020), 118-126.
DOI:10.1090/bproc/55

52. S. Gao and A. Hill, Disjointness between bounded rank-one transformations, Colloquium Mathematicum 164 (2021), no. 1, 91-121.
DOI:10.4064/cm8081-2-2020

53. M. Etedadialiabadi, S. Gao, F. Le Maître, and J. Melleray, Dense locally finite subgroups of automorphism groups of ultraextensive spaces, Advances in Mathematics 391 (2021), 107966.
DOI:10.1016/j.aim.2021.107966

54. M. Etedadialiabadi and S. Gao, On extensions of partial isomorphisms, The Journal of Symbolic Logic 87 (2022), no. 1, 416-435.
DOI: 10.1017/jsl.2020.19

55. S. Gao, S. Jackson, E. Krohne, and B. Seward, Forcing constructions and countable Borel equivalence relations, The Journal of Symbolic Logic 87 (2022), no.3, 873-893.
DOI: 10.1017/jsl.2022.23

56. M. Etedadialiabadi and S. Gao, Sarnak’s conjecture for a class of rank-one subshifts, Proceedings of the American Mathematical Society, Series B 9 (2022), 460-471.
DOI: 10.1090/bproc/148

Research Presentations

1. Invited talk in the 942nd AMS meeting, University of Nevada, Las Vegas, Nevada, April 10-11, 1999.

2. Invited talk at the UCLA Logic Colloquium, January 14, 2000.

3. Invited talk at the UC Irvine Mathematics Colloquium, February 17, 2000.

4. Invited talk at the Kempner Colloquium, University of Colorado, Boulder, February 21, 2000.

5. Invited talk at the UC Berkeley Logic Colloquium, April 7, 2000.

6. Invited talk in the Special Session on Set Theory of the 2000 ASL annual meeting, University of Illinois at Urbana-Champaign, June 3-7, 2000.

7. Invited talk in the Logic Conference: Model Theory and Descriptive Set Theory, Rutgers University, February 16-19, 2001.

8. Invited talk in the 965th AMS meeting, University of Nevada, Las Vegas, Nevada, April 21-22, 2001.

9. Invited talk in the Special Session of Model-Theoretic Algebra and Descriptive Set Theory in the 2001-2002 ASL Winter Meeting, joint with AMS/MAA annual meeting, San Diego, California, January 6-9, 2002.

10. Invited talk in the Mengenlehre meeting at Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, Germany, January 20-26, 2002.

11. Invited talk in the Special Session on Set Theory in the 2002 ASL European Summer Meeting (Logic Colloquium 2002), Muenster, Germany, August 3-10, 2002.

12. Invited talk in the 7th Luminy Workshop in Set Theory, Luminy, France, September 16-20, 2002.

13. Visiting Academic of the Fields Institute during the Workshop on Descriptive Set Theory, Analysis and Dynamical Systems, Toronto, Canada, October 6-12, 2012.

14. Invited talk at the Department of Mathematics Colloquium, University of Michigan, Ann Arbor, Michigan, March 18, 2003.

15. Invited talk in the Mathematics Colloquium, Sun Yat-Sen University, Guangzhou, China, December 17, 2003.

16. Invited talk in the Institute of Mathematics, Chinese Academy of Sciences, Beijing, China, December 22, 2003.

17. Invited talk in the Institute of Physics and Mathematics, Chinese Academy of Sciences, Wuhan, China, December 24, 2003.

18. Invited tutorials in the international meeting on Logic, Algebra and Geometry, St. Petersburg Department of Steklov Institute and Euler Institute of Mathematics, St. Petersburg, Russia, June 1-7, 2004.

19. Invited talk in the Institute of Mathematics, Nankai University, Tianjin, China, June 15, 2004.

20. Invited talk in the 8th Luminy Workshop in Set Theory, Luminy, France, September 20-24, 2004.

21. Invited talk in the 2005 ASL Annual Meeting, Stanford University, California, March 19-22, 2005.

22. Invited plenary lecture in the Workshop on Classifications of Countable Structures, University of Notre Dame, Indiana, May 17-24, 2005.

23. Invited plenary lecture in the 9th Asian Logic Conference, Novosibirsk, Russia, August 16-19, 2005.

24. Invited talk in the Mengenlehre meeting at Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, Germany, December 4-10, 2005.

25. Invited address in the Joint Mathematics Meetings, New Orleans, January 5-8, 2007.

26. Invited talk in the 2007 ASL Annual Meeting, University of Florida, Florida, March 10-13, 2007.

27. Invited talk in the AMS 2007 Fall Eastern Section Meeting, Rutgers University-New Brunswick, New Jersey, October 6-7, 2007.

28. Invited talk in the 13th SEALS (SouthEAstern Logic Symposium), University of Florida, Florida, March 1--2, 2008.

29. Invited departmental seminar and colloquium talks in 2008: UCLA (March), University of Wisconsin (April)

30. Invited talk in the AMS Special Session on Logic and Dynamical Systems, Joint Mathematical Meetings, Washington DC, January 5--8, 2009.

31. Invited talk in the Spring Topology and Dynamics Conference, University of Florida, Florida, March 7-11, 2009.

32. Invited talk in the 2009 ASL Annual Meeting, University of Notre Dame, Indiana, May 20- 23, 2009.

33. Invited talk in the Workshop on Large Cardinals and Descriptive Set Theory, Erwin Shrödinger Institute, Vienna, Austria, June 14-26, 2009.

34. Invited talk in the Logic and Mathematics Conference, University of York, York, United Kingdom, August 3-7, 2009.

35. Invited talk in the Workshop on Descriptive Set Theory in Paris, Institut de Mathemathtique de Jussieu, Paris, France, December 14-15, 2009.

36. Invited departmental seminar and colloquium talks in 2009: University of Paris VI and VII (December)

37. Invited talk in the Luminy Set Theory Workshop, CIRM, Marseille, France, October 4-8, 2010.

38. Invited 45-minute lecture in the Fifth International Congress of Chinese Mathematicians (ICCM 2010), Beijing, China, December 17-22, 2010.

39. Invited departmental seminar and colloquium talks in 2010: Penn State University (February), Sichuan University (June)

40. Invited talk in the 2011 ASL Annual Meeting, University of California, Berkeley, California, March 23-27, 2011.

41. Invited talk in the 2010 MAMLS meeting, Rutgers University, New Jersey, October 22- 23, 2011.

42. Invited talk in the 12th Asian Logic Conference, University of Wellington, New Zealand, December 13-20, 2011.

43. Invited talk in the Spring Topology and Dynamics Conference, Mexico City, Mexico, March 21-25, 2012.

44. Invited talk in the SUMIRFAS Workshop in Analysis and Probability, Texas A&M University, College Station, Texas, August 3-5, 2012.

45. Invited talk in the 12th Luminy Workshop in Set Theory, CIRM, Luminy, France, September 24-28, 2012.

46. Invited departmental seminar and colloquium talks in 2013: University of Texas at Arlington (February), Cornell University (April).

47. Invited talks (two) in the AMS Southeastern Sectional Meeting, Mississippi State University, March 1-2, 2013.

48. Invited tutorials at the 2013 Young Set Theory Workshop, Oropa, Italy, June 9-14, 2013.

49. Invited plenary talk in the 13th Asian Logic Conference, Guangzhou, China, September 16- 20, 2013.

50. Invited talk in the ESI Workshop on Forcing, Large Cardinals, and Descriptive Set Theory, Vienna, Austria, September 30-October 4, 2013.

51. ASL Invited Address at the Joint Mathematics Meetings, Baltimore, MD, January 15-18, 2014.

52. Invited talk in the AMS Western Sectional Meeting, University of New Mexico, Albuquerque, NM, April 4-6, 2014.

53. Invited departmental seminar and colloquium talks in 2015: National University of Singapore (August), Nankai University, China (September), University of Illinois Urbana- Champaign (November)

54. Invited talk in the Joint Mathematics Meetings, San Antonio, Texas, January 10-12, 2015.

55. Invited talk in the AMS Sectional Meeting, UNLV, Las Vegas, NV, April 18-19, 2015.

56. Invited tutorial in the Vaught’s Conjecture Conference, UC Berkeley, Berkeley, CA, June 1-5, 2015.

57. Mathematics Institute Lecture, Chinese Academy of Sciences, Beijing, China, September 9, 2015.

58. Sole Presenter, Appalachian Set Theory Workshop, Carnegie Mellon University, Pittsburg, PA, October 24, 2015.

59. Invited talk in the AMS Sectional Meeting, University of Utah, Salt Lake City, UT, April 9- 10, 2016.

60. Invited talk in the 14th Luminy Workshop in Set Theory, CIRM, Luminy, France, October 9-13, 2017.

61. Invited talk in the SEALS conference (SouthEAstern Logic Symposium), University of Florida, Florida, March 3-4, 2018.

62. Invited talk in the Descriptive Set Theory Conference, Semester in Descriptive Set Theory and Polish Groups, Bernoulli Center, EPFL, Switzerland, June 18-22, 2018.

63. Invited talk in the Workshop for Higher Recursion Theory and Set Theory, National University of Singapore, Singapore, June 3-8, 2019

64. Invited talk in the Workshop on Measurable, Borel, and Topological Dynamics, CIRM, Luminy, France, October 7-11, 2019.

65. Plenary talk in the SEALS conference (SouthEAstern Logic Symposium), University of Florida, Florida, February 29-March 1, 2020.

66. Plenary talk (virtual) in the Chinese Annual Conference of Mathematical Logic, Nankai University, November 13-15, 2020.

67. Invited talk (virtual) in the Inaugural Conference of the Logic Association of Malaysia, October 21-22, 2021.

68. Plenary talk (virtual) in the Workshop in Logic and Dynamics, Nankai University, December 26, 2021.

69. Invited Departmental Seminars and Colloquium talks in 2021: Caltech Logic Seminar (February), Chern Institute of Mathematics (September), Fudan University (November), Nanjing University (December), Beihang University (December)

70. Invited talk (virtual) in the Oberwolfach Set Theory Meeting, Oberwolfach, Germany, January 10-14, 2022.

71. Invited tutorial (virtual) in the Banff Workshop on Interactions between Descriptive Set Theory and Smooth Dynamics, Banff International Research Station, Canada, March 28-31, 2022.

72. Invited Departmental Seminars and Colloquium talks in 2022: Chongqing University (April)

73. Invited talk (online) in the Conference about Computing in Topological Structures, Sirius Mathematics Center, Sochi, Russia, June 27-July 1, 2022.

74. Invited talk in the Conference in Mathematical Logic, Harbin Institute of Technology, Harbin, China, August 8-9, 2022.

75. Invited talk (online) in the WDCM-2022: Fourth Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, October 24-29, 2022.

76. Invited talk in Dyadisc 6 (Dynamics on the Cantor set and applications), Amiens, France, July 5-7, 2023.

77. Invited talk in Beijing Logic Meeting, Chinese Academy of Sciences, July 24-28, 2023.

78. Invited talk in the Conference on Descriptive Set Theory & Dynamics, University of Warsaw, Poland, August 21-25, 2023.

79. Invited talk in the Workshop on Mathematical Logic and Philosophy of Mathematics, Tsinghua University, Beijing, China, September 26-28, 2023.

80. Invited Departmental Seminars and Colloquium talks in 2023: Wuhan University (February), Wuhan University of Technology (February), Sichuan University (May), Tokyo Model Theory Seminar (June), Yonsei University (June), Beijing Jiaotong University (July).

81. Invited plenary talk in the Fourth International Conference on Topological Algebras and Their Applications, Nankai University, April 3-7, 2024.

82. Invited plenary talk in the First United Academic Meeting of the Mathematical Societies of Beijing, Tianjin, and Hebei, Hebei Normal University, Shijiazhuang, April 19-22, 2024.

83. Invited Departmental Seminars and Colloquium talks in 2024: Tsinghua Logic Salon (May), Shaanxi Normal University (May), Northwestern University (China, May), Harbin Institute of Technology (August, December), McGill University (September), Quebec Mathematical Sciences Colloquium (September), Rutgers University (September), University of Wisconsin-Madison (October), University of California Berkeley (October), Peking University (October), Beijing International Mathematical Research Center (November), Sichuan University (November), Southern University of Science and Technology (December), Hunan University (December), Hebei University of Technology (December)

84. Lecturer for the 2024 IMS Summer School in Mathematical Logic, National University of Singapore, July 1-19, 2024.

85. Invited plenary talk in the Forum on the Frontiers and Prospectives in Mathematics, Editorial Board meeting of Science China Mathematics, Enshi, July 20-21, 2024.

86. Invited talk in the Conference on Generalized Computability Theory, CIEM, Castro Urdiales, Cantabria, Spain, August 19-23, 2024.

87. Invited talk in the LPMC conference, Nankai University, November 23, 2024.

88. Invited Mini-course in the 2024 General Topology Symposium, Ehime University, Ehime, Japan, November 27-28, 2024.

89. Invited talk in the Conference on Limits on Computability, Definability, Provability--Celebrating the Mathematical and Professional Contributions of Chong Chi Tat, National University of Singapore, January 9-10, 2025.

90. Invited keynote talk in the 11th Indian Conference on Logic and its Applications, Indian Statistical Institute, Kolkata, India, February 3-5, 2025.

91. Invited keynote talk in the International Conference on Pure Mathematics and its Applications (ICPMA-2025), University of Culcutta, Kolkata, India, February 5-7, 2025.

92. Invited departmental seminars and colloquium talks in 2025: Ramakrishna Mission Vivekananda University (RKMVERI – Ramekrishna Mission Vivekananda Educational and Research Institute, February), Cornell University (March, online), Jagiellonian University (May), Renyi Institute (July), IMJ-PRG (November), Sun Yat-Sen University -- Zhuhai (December), Chongqing University (December), Southwestern University (December)

93. Invited plenary talk in the Third Conference on Order Topology, Algebra of Logics, and Non-Classical Logics, Guangxi Minzu University, Nanning, April 25-28, 2025.

94. Mostowski Lecture: invited special talk in the Roaming Logic Conference, University of Warsaw, Poland, May 5-11, 2025.

95. Invited talk in the BIMSA Workshop on Mathematical Logic, BIMSA, Beijing, June 11-13, 2025.

96. Invited talk in the ESI Workshop on Reverse Mathematics and Higher Computability Theory, Vienna, Austria, June 28-July 4, 2025.

97. Invited talk in the Workshop on Logic and Computation, BIMSA, Beijing, August 28-31, 2025.

98. Invited Plenary Speech in the 18th Asian Logic Conference, Kyoto, Japan, September 8-12, 2025.

99. Invited talk in the XVI International Luminy Workshop in Set Theory, Marseille, France, November 3-7, 2025.

100. Invited Plenary Lecture in the 22^nd Academic Meeting of the Committee on Fuzzy Mathematics and Fuzzy Systems of the Systems Engineering Society of China, Nanjing University of Information Science and Technology, Nanjing, China, November 22-24, 2025.

Professional-related Services and Memberships

Selected University Service

Nankai University

1. Cognitive Sciences Academic Affairs Committee, 2025-present.

2. University Affairs Committee, 2024-present.

3. Mathematical Sciences Academic Affairs Committee, 2021-present.

4. Mathematical Sciences Academic Degrees Committee, 2021-present.

5. Chair, Talent Acquisition Committee, School of Mathematical Sciences, 2021-present.

University of North Texas

1. Chair, Provost’s Academic Technology Task Force, 2020-2021.

2. President’s Diversity and Inclusion Advisory Board, 2020-2021.

3. Chair, COE Dean’s Review Committee, 2020.

4. Leadership Council, North Texas Center for Scientific Computing, 2020-2021.

5. University Executive Compliance Committee, 2019-2020.

6. Strategic Enrollment Management Committee, 2018-2019.

7. University Research Space Adjudication Subcommittee, 2017-2021.

8. Institute Advisory Board, AMMPI (Advanced Materials and Manufacturing Processes Institute), 2017-2021.

9. Executive Council of Center Directors, 2017-2020.

10. Chair, University Research Space Adjudication Subcommittee, 2017-2019.

11. University Space Planning and Management Committee, 2017-2019.

12. Chair, Vice President for Research and Innovation Search Committee, 2017-2019.

13. College of Arts and Sciences Faculty Grievance Committee, 2016.

14. Advocates and Allies of Women Faculty, 2015-2021.

15. University Scheduling Committee, 2014-2015.

16. College of Arts and Sciences Dean Search Committee, 2013-2014.

17. UNT-International China Advisory Council, 2013-present.

18. Executive Committee Chair, UNT-International China Advisory Council, 2013-2015.

19. Toulouse Scholars Award Selection Committee, 2013.

20. University Graduate Council, 2010-2013.

Miscellaneous Service to the Profession and the Community

1. Editorial Board member: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (ZML), 2025-present.

2. Advisory board member, Mathematics (MDPI), 2025-2027.

3. Organizing Committee, Tianyuan Workshop on Computability Theory and Descriptive Set Theory, Tianyuan Research Center, Yunnan, China, June 16-20, 2025.

4. Chair, Committee on Mathematical Logic, Chinese Mathematical Society, 2024-2028.

5. Executive Committee member, Association for Symbolic Logic, 2025-2029.

6. Council member, Association for Symbolic Logic, 2024-2028.

7. Managing Editor, Perspectives in Logic, book series published by the Association for Symbolic Logic, 2024-2028.

9. Program Committee: Indian Conference on Logic and Applications (ICLA), February 3-5, 2025, Indian Statistical Institute, Kolkata, India.

10. Scientific Committee: Workshop on Equivalence Relations, Enumerations, and Reducibility, May 20-24, Nazarbayev University, Astana, Khazakstan.

11. Program Committee and Local Organizing Committee: The workshop in Descriptive Set Theory, Borel Combinatorics and Dynamics, June 17-21, Tianjin, China.

12. Program Committee and Local Organizing Committee: The 17th Asian Logic Conference, October 9-13, 2023, Tianjin, China.

13. Associate editor: Science China Mathematics

14. Guest editor: Chinese Mathematics Dictionary

15. Guest editor: Chinese Encyclopedia of Science

16. Project Lead: Descriptive Set Theory Translation Project

17. Guest editor: Mathematics (open access journal), special issue: Mathematical Logic, Algorithms and Applications 2023

18. Editorial Board member, Perspectives in Mathematical Logic, book series published by the Association for Symbolic Logic, 2017-2023.

19. Editor, Notre Dame Journal of Formal Logic, 2011-present.

20. Editor, Mathematical Logic Quarterly, 2012-2025.

21. THECB (Texas Higher Education Coordinating Board) Liaison, Texas Association for Academic Administrators in the Mathematical Sciences (T3AMS), 2016-2017.

22. President, Texas Association of Academic Administrators in Mathematical Sciences (T3AMS), 2015-2016.

23. Association for Symbolic Logic Nominating Committee, 2016-2017.

24. President, Texas Association for Academic Administrators in the Mathematical Sciences (T3AMS), 2015-2016.

25. Reviewer/Panelist for the U.S. National Science Foundation.

26. Reviewer for the National Science Foundation of China.

27. Reviewer for Marsden Fund (Royal Society of New Zealand).

28. Reviewer for Austrian Science Fund (FWF).

29. Reviewer for European Research Council.

30. Reviewer for Mathematical Reviews.

31. Author for Math Reviews.

32. Organizing Committee for the BLAST 2015 @ UNT Conference, held at UNT, Denton, TX, June 8-12, 2015.

33. Organizing Committees for the RTG Research Conferences: Logic, Dynamics and Their Interactions, held at UNT, Denton, TX. First meeting: June 4-8, 2012; second meeting: June 2- 6, 2014.

34. Advisory Board, North Texas Chinese Faculty Association, 2012-present.

35. Advisory Board, Denton Chinese School, 2012-2017.

36. Founding President, North Texas Chinese Faculty Association, 2010-2012.

Professional Membership

1. Chinese Mathematical Society (lifetime member)

2. Sigma Xi (The Scientific Research Honor Society)

3. American Association for the Advancement of Science

4. American Mathematical Society (lifetime member)

5. Mathematical Association of America (lifetime member)

6. Association for Symbolic Logic

7. Council of Chinese American Deans and Presidents

8. Council of Colleges of Arts and Sciences

Editorial Work

1. Managing Editor, Perspectives in Logic, book series published by the Association for Symbolic Logic, 2024-2028.

2. Editor: Chinese Encyclopedia of Mathematics.

3. Editor: Chinese Dictionary of Mathematics.

4. Associate Editor, Science China Mathematics, 2023-present.

5. Editor, Notre Dame Journal of Formal Logic, 2011-present.

6. Editorial Board member, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 2025-present.

7. Executive Guest Editor. Special issue: In honor of the 70^th birthday of Professor Qi Feng, with selected papers from 2025 CACML (Chinese Annual Conference on Mathematical Logic, April 18-20, 2025). Annals of Pure and Applied Logic.

8. Editorial Board member, Perspectives in Logic, book series published by the Association for Symbolic Logic, 2017-2023.

9. Editorial Board member, Mathematical Logic Quarterly, 2012-2025.

10. Guest Editor, Mathematical Logic, Algorithms and Applications, A special issue of Mathematics (ISSN 2227-7390), deadline for manuscript submissions: 31 July 2023.

11. Guest editor. Special issue: International Meeting on Logic, Algebra and Geometry. Held in St. Petersburg, June 1-7, 2004. Annals of Pure and Applied Logic 158 (2009), no. 1-3. (coeditors: M. Vershik and Y. Zhang)

12. Editor. Advances in Logic. The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton. Contemporary Mathematics 425, American Mathematical Society, RI, 2007. (coeditors: S. Jackson and Y. Zhang)

13. Guest editor. Special issue: Methods of Logic in Mathematics. Annals of Pure and Applied Logic 158 (2009), no. 3. (coeditors: A. Blass and Y. Zhang)

Student Mentorship Achievements

PhD

1. Chuang Shao, 2009. Tenured professor at Rose State College, Oklahoma.

2. Vincent Kieftenbeld, 2010. Tenure-track Assistant Professor at the University of Illinois at Edwardsville, Illinois; Research Scientist at McGraw-Hill, California; Currently Senior Research Scientist at Pacific Metrics, California.

3. Mingzhi Xuan, 2012. Tenure-track Assistant Professor at Middle Georgia State College, Georgia.

4. Xiaohui Shi, 2013. Lecturer at Kennesaw State University, Georgia.

5. Michael Cohen, 2013. Tenure-track Assistant Professor at North Dakota State University, North Dakota.

6. Edward Krohne, 2016. Entrepreneur in academic tutoring, Texas.

7. Cheng Chang, 2016. Tenure-track Assistant Professor at Mercy College, New York.

8. Cristian Allen, 2017. Tenure-track Assistant Professor at Wartburg College, Iowa.

9. Caleb Ziegler, 2018. Software Engineer at F5 Networks, Colorado.

10. Michael Cotton, 2019. Adjunct Faculty at University of North Texas.

11. PingYu, 2022.

12. Feng Li, 2022-2026.

13. Yiming Sun, 2022-2026.

14. Ruiwen Li, current.

15. Yingying Jiang, current.

16. Shujin Qu, current.

17. Xiangxi Hu, current.

18. Jie Zou, current.

19. Xiaohang Zheng, current.

Master’s

1. Yanhui Huang, 2004. Actuary at National Life Group, Dallas, Texas; Currently AVP Product Development Pricing at AIG, Addison, Texas.

2. Michael Morley, 2005. Tenure-track Assistant Professor at University of Alaska, Fairbanks.

3. Chuang Shao, 2005. Continued in the UNT PhD program; see above.

4. Mingzhi Xuan, 2008. Continued in the UNT PhD program; see above.

5. Brandon Seward, 2009. PhD in mathematics from University of Michigan, 2015. NSF Graduate Research Fellowship, 2011-2014. Postdoctoral fellow at the Hebrew University of Jerusalem and the Courant Institute of Mathematics, New York University, New York, New York. Currently Tenure-track Assistant Professor at the University of California, San Diego.

6. Xiangxi Hu, 2022-2024.

7. Longxiu Tao, 2024-2026.

8. Xuchen Li, 2024-2026.

9. Henglin Shi, 2024-2026.

10. Ruihuan Mao, 2025-2028.

11. Aibo Lin, 2025-2028.

Undergraduate Research

1. Peter Gerdes, 2000-2001, Caltech. PhD in mathematics from University of California, Berkeley, 2008.

2. Brandon Seward, 2006-2008, UNT. Continued in the UNT Master’s program; see above.

3. Xuanzhi Ren, 2021-2024.

4. Ruiwen Li, 2021-2023. Continued in the Nankai University PhD program.

5. Shujin Qu, 2023-2024. Continued in the Nankai University PhD program.

6. Longxiu Tao, 2023-2024. Continued in the Nankai University Master’s program.

7. Jie Zou, 2024-2025. Continued in the Nankai University PhD program.

8. Mingyang Li, 2025-2026.

Postdoctoral Mentees

1. Michael Ray Oliver, 2004-2006, UNT. Software Engineer at Blaze DFM, Mentor Graphics, Google, X, the moonshot factory, and NewCo.

2. Aaron Hill, 2011-2014, UNT. Tenure-track Assistant Professor at the University of Louisville, Louisville, Kentucky; Currently Mathematics Teacher at Proof School, San Francisco, California.

3. Konstatinos Beros, 2013-2017, UNT. Assistant Teaching Professor at Miami University, Ohio.

4. Mahmood Etedadialiabadi, 2018-2021, UNT.

5. Joseph Zielinski, 2020-2021, UNT.

6. Ming Xiao, 2022-2025, Nankai University.

7. Victor Hugo Yañez Salazar, 2024-present, Nankai University.

8. Wei Dai, 2024-present, Nankai University.