|
|
发表于 2025-7-8 18:26:15
来自手机
|
显示全部楼层
naerypme 发表于 2025-7-8 16:272 |6 A; f' a3 J) V% B9 I4 f
错了,这次复旦哲学系有一个老师作报告,哈哈
) W, s6 h* C# ~2 \4 p& Q1 _4 Z( A) K, c a" u3 ^. q
这老兄伯克利数学博士,本科华盛顿大学数学与计算机系,博士后在复旦数学系,博士后做好后在复旦哲学系工作,现在副教授了
: B- y( Q$ M5 d: I P( {4 j& K4 J0 K* i0 I2 F
William Johnson$ m5 ~' p4 ~5 C, x. a
. q" }& u# ]+ {* ^4 X个人简介 Personal profile
7 |! B& k3 f" Q c \& h# E
) o5 _- z# @5 a% z( J, MSchool of Philosophy, Fudan University, 220 Handan Road, Shanghai, China 200433.
: e. i9 w3 x0 M" J) H7 ?& c- xEmail:willjohnson@fudan.edu.cn
, C% r! y( t+ G/ H, x# F4 ~! o
- a0 C' {+ b; l# M; X7 Y0 O/ I" U9 J教育和工作经历 Education and Work Experience
6 o* b% x+ P+ b3 k7 e
. P9 \- Q: T& N9 O+ g; J% p教育经历 Education' w5 A+ m& A5 _8 e
: p' h. c3 D" I) z6 _$ i
Ph.D. Mathematics, University of California Berkeley, Aug 2011–Jun 2016. Dissertation: Fun with Fields. Advised by Tom Scanlon.7 O$ M" S4 U- p
B.S. Mathematics and Computer Science, University of Washington, Sep 2007–Jun 2011. Thesis: Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game.. O/ X, Z' q" L3 Q4 k& ^
( O, M, L; r% R* ]工作经历 Work Experience2 [% n: b' o4 |
8 Z( s$ G3 M, p* l1 B& Y; l0 M; B' qAssociate Professor. Fudan University School of Philosophy, Dec. 2022–present. + k1 Y9 l7 g; W6 y% I! k
Young associate researcher. Fudan University School of Philosophy, Sep. 2020–Dec. 2022. 7 r* n( `2 @8 A) i. f: T0 H
Postdoc. Fudan University School of Mathematical Sciences, Oct 2018–Aug. 2020.0 b# Z# G7 \' c
Software Engineer. Niantic, Inc., Jan 2016–Jul 2018.
0 p5 f! G0 n5 G- x
) k @# T; h& V! ^0 T, N研究方向 Research Interests
; }4 L0 _0 P" L& n. X( N! T
6 p7 F+ A4 U) c1 z5 xModel theory of fields and valued fields
1 O# x9 C; Z. J6 U+ h6 ?Neostability: strongly dependent theories, NTP2 theories, dp-rank, o-minimality
& S: q$ G" Q) TPseudofinite fields and ACFA
) Z6 t/ l, r& r0 m' h; tDefinable groups and tame topology3 N! ~$ f* h2 P' L8 r4 c
Applications of cohomology and category theory to model theory
& a: b8 F: Q0 }
3 e; j* U- r* ]" N) [3 N6 H5 X主要学术成果 Academic Achievements/ W8 a/ Q* Z* [% i! P$ s! F d
, B3 W* ^: ]- a. @0 |5 U2 w代表性论文 Academic Papers P6 t% v+ T/ p3 p1 G4 p
7 A' ^' n) v6 I; E$ y' V5 h1. Johnson, W. and Ye, J. (2024). Curve-excluding fields. Journal of the European Mathematical Society (accepted).
. G& [2 A( ^8 k; w2. Andújar Guerrero, P. and Johnson, W. (2024). Around definable types in p-adically closed fields. Annals of Pure and Applied Logic 175(10): 103484.( ]/ f% n6 R$ M" x2 D+ ?
3. Johnson, W. and Yao, N. (2024). One-dimensional subgroups and connected components in non-abelian p-adic definable groups. Journal of Symbolic Logic (online first).1 e; k3 n& _6 d5 R5 X5 k+ a0 i% a
4. Johnson, W., Tran, C.-M., Walsberg, E., and Ye, J. (2024). The etale-open topology and the stable fields conjecture. Journal of the European Mathematical Society 26(10): 4033-4070.
; {/ I0 I9 U) y( v; D2 H3 I' M, x5. Johnson, W. (2023). Topologizing interpretable groups in p-adically closed fields. Notre Dame Journal of Formal Logic 64(4): 571-609.! C; s: T$ S1 @/ A3 G: w% \
6. Johnson, W. and Yao, N. (2023). Abelian groups definable in p-adically closed fields. Journal of Symbolic Logic (online first).
: B6 I) M) [# s6 d/ T, U2 V1 ^7. Johnson, W. and Ye, J. (2023). A note on geometric theories of fields. Model Theory 2(1): 121-132.+ N% |" k+ H8 t: g
8. Johnson, W. (2023). Type-definable NIP fields are Artin-Schreier closed. Fundamenta Mathematicae 260:251-261.
% C6 ]" i! [2 n V7 F/ s- ?9. Johnson, W. (2023). A note on fsg groups in p-adically closed fields. Mathematical Logic Quarterly 69(1):50-57.* E3 |* o" ^, `& @4 A# d
10. Johnson, W., Walsberg, E., and Ye, J. (2023). The étale open topology over the fraction field of a henselian local domain. Mathematische Nachrichten 296(5): 1928-1937.- t( p1 |( K( N5 R
11. Johnson, W. (2023). The classification of dp-minimal and dp-small fields. Journal of the European Mathematical Society 25(2): 467-513.
/ e& U5 O, n o! M, n12. Johnson, W. (2022). Henselianity in NIP Fp-algebras. Model Theory 1(1): 115-128.
- Q2 Q& g) j9 F2 [; Y) n& h8 _13. Johnson, W. and Yao, N. (2022). On non-compact p-adic definable groups. Journal of Symbolic Logic 87(1):188-213. p- T8 Q8 Y1 U$ ^6 N. W3 W: X
14. Johnson, W. (2022). A criterion for uniform finiteness in the imaginary sorts. Archive for Mathematical Logic 61: 583-589." K. O+ q" T8 i" o, S" v* _
15. Johnson, W. (2022). Forking and dividing in fields with several orderings and valuations. Journal of Mathematical Logic 22(1): 2150025.
; N! B- q9 U ^& p- S! M16. Johnson, W. (2022). Counting mod n in pseudofinite fields. Israel Journal of Mathematics 247: 697-739.9 C: u- @% z( s* l4 N5 W" R/ Q
17. Johnson, W. (2021). Dp-finite fields I(B): positive characteristic. Annals of Pure and Applied Logic 172(6):102949.( x$ ? _" r, u- M0 o
18. Johnson, W. (2021). Dp-finite fields I(A): the infinitesimals. Annals of Pure and Applied Logic 172(6):102947.
! R8 Y9 ~% Y, S+ ^: w* o' f19. Johnson, W. (2020). On the proof of elimination of imaginaries in algebraically closed valued fields. Notre Dame Journal of Formal Logic 61(3): 363-381.
" g2 x; Y, I U0 o20. Johnson, W. (2018). The canonical topology on dp-minimal fields. J. Math. Logic 18(2): 1850007.
3 P; A3 S% H' G" m4 c" t21. Johnson, W. (2018). Interpretable sets in dense o-minimal structures. J. Symbolic Logic 83(4): 1477-1500.
$ {& i% T# ~! C, y22. Appendix to Freitag, J., Li, W., Scanlon, T. and Johnson, W. (2017). Differential Chow varieties exist. J. London Math. Soc. 95: 128-156.
! z/ k& i# \) K5 u, a23. Johnson, W. (2014). The combinatorial game theory of well-tempered scoring games. International Journal of Game Theory 43: 415-438.
8 n# E9 w8 U3 I4 z: s3 } ~" l
2 b/ B8 i) Z! [0 E/ c* C参加的会议 Conference Talks
5 q I; I9 D% [- l% `- E
* n. }8 B) \6 m, t, S7 ` P4 m* Q; K1. A classification of dp-minimal integral domains. 2024 Beijing Model Theory Conference, China.7 Q) B8 Y5 i' w3 z6 H+ D
2. C-minimal fields are geometric. 2023 Asian Logic Conference, Tianjin, China.
- ^2 \" `: J v3. Generic differentiability and the P-minimal group conjectures of Onshuus and Pillay. 2023 Beijing Logic Meeting, China.) {4 C3 T) b/ b: o' M
4. Around NIP Noetherian domains. 2023 conference Model theory of valued fields at CIRM, Marseille, France.# x- ~% n( H& `- J" x/ n: u2 ]: n
5. Dolich and Goodrick's visceral theories. 2021 Delta15 Logic Workshop, Nanjing, China.' h* p# Y6 j7 v2 d0 Q5 C
6. On non-compact p-adic definable groups. 2021 Workshop on Trends in Pure and Applied Model Theory, Fields institute, Toronto, Canada.
. K. h: e: a; j5 E) J h/ `7. V-topologies and beyond. 2020 Chinese Mathematical Society Annual Conference, Shijiazhuang, China.
! r) H, J7 T' ?1 g; ? V. t8. An update on dp-finite fields. 2019 Chinese Annual Conference on Mathematical Logic, Chongqing, China.
9 w9 G( W+ y+ P# i8 H6 v' j7 f9. From modular lattices to valuation rings. 2019 conference Model Theory of Valued fields and Applications, University of Münster, Germany.0 Z; a' a7 `- o# {9 o/ \
10. Multi-valued algebraically closed fields are NTP2. 2018 workshop Model Theory of Valued Fields, IHP, Paris, France.
) u3 K `. g) `' ?11. When does Teq eliminate ∃∞? 2016 North American meeting of the Association for Symbolic Logic, Storrs, US.# `4 V3 s- G1 c/ {
12. On dp-minimal fields. 2015 Neostability Theory meeting in Oaxaca, Mexico.6 p6 o2 h& k6 d4 @
13. Interpretable sets in o-minimal structures. 2015 North American meeting of the ASL, Urbana-Champaign, US.
: G. M7 ?4 ?8 u. k% ]% |3 s7 h7 F x7 ]
预印本 Preprints4 l/ W: u* m1 P& B* g
' D# b! p+ f# g5 p3 e! f1. with Yatir Halevi and Christian d'Elbée. The classification of dp-minimal integral domains (2024). arXiv:2405.21014.
v! l D6 D9 E; v2. Generic differentiability and P-minimal groups (2024). arXiv:2404.17234.
7 S A! @) h' L) R* I% ?0 P0 V3. Visceral theories without assumptions (2024). arXiv:2404.11453.
$ q$ C5 V/ F0 Q% D; d7 a4.C-minimal fields have the exchange property (2024). arXiv:2403.17478.5 C: Y/ c' U5 x0 L# p# K
5. Dp-finite and Noetherian NIP integral domains (2023). arXiv:2302.03315.
) m G) a. I: `$ s' l6. Dp-finite fields VI: the dp-finite Shelah conjecture (2020). arXiv:2005.13989.
, W+ L/ V2 N0 q7 h* W7. Dp-finite fields V: topological fields of finite weight (2020). arXiv:2004.14732.0 ^* \6 ~" x; p4 M" }' O
8. Dp-finite fields IV: the rank 2 picture (2020). arXiv:2003.09130.$ t3 u- B! Z0 J" w; y* |9 X
9. Dp-finite fields III: inflators and directories (2019). arXiv:1911.04727.
+ V; M4 Q: Y( f0 k9 | `/ B% c10. Dp-finite fields II: the canonical topology and its relation to henselianity (2019). arXiv:1910.05932.: H5 }, ?. ?/ d9 W/ @; y
11. Finite burden in multivalued algebraically closed fields (2019). arXiv:1905.04991.
# O: {% ~! v( z' Q: y' r& ^12. Circular planar resistor networks with nonlinear and signed conductors (2012). arXiv:1203.4045.
8 X! ^8 ]* c" k# V0 f13. The knotting-unknotting game played on sums of rational shadows (2011). arXiv:1107.2635..
& L, `$ i4 m7 V2 K4 r/ T, Z1 E& b5 z7 f1 B+ v2 A/ Z
其他 Miscellaneous' g% F. A4 p) }& W. |" S- K+ c
5 N b! ~% e, ]6 Z4 C2 F/ t1.Fun with Fields (2016). PhD dissertation, UC Berkeley.
/ |% [ x1 o, G9 ]0 t2.Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game (2011). Undergraduate Senior Thesis, University of Washington.
1 Y0 K+ c3 ]/ v/ r4 _$ A
' D/ k6 g+ L& S5 c: ?, U4 y荣誉及获奖 Grants and Awards; S* H7 u5 q: T( M. l5 E# y7 l0 i& `
9 }5 K$ f8 R7 s% L
2022 National Natural Science Foundation of China Young Science Fund Project: v! e& G8 F8 c0 a) a7 i) W
2018 NSF Mathematical Sciences Postdoctoral Research Fellowship& }6 {! y; F$ ~% L
2016 Sacks Prize for outstanding dissertation in mathematical logic (Association for Symbolic Logic)& K+ F- d% z8 ]8 y X' E3 v) d
2016 Herb Alexander Prize for an outstanding dissertation in pure mathematics (UC Berkeley)& b3 _9 x# G3 `! v2 x- ^% U
2011 NSF Graduate Research Fellow
z7 L1 E# G G$ ]4 l; P2009 Putnam Fellow* f$ l" z! H8 K1 ?3 z7 Y: v+ V
2008, 2010 honorable mention in Putnam contest p q0 Z7 E4 x8 K; G/ q. H
2011 Dean’s Medalist in the Natural Sciences (University of Washington)! ]8 `' c+ c/ B( _% s' t( Y6 j
1 @4 z* S$ B/ [0 [ `! u; _: }
开设课程 Courses
" O2 }1 `( {( [4 h; ` i* O% w n n. e" q
Introduction to Model Theory, Fall semesters 2020-2024, Fudan University
' \, s( l3 b! V3 G+ ^Advanced Model Theory, Spring semesters 2021-2024, Fudan University |
|