import Mathlib
open scoped Classical
namespace Jun
structure Profile where
name role focus affiliation : String
/--
Personal info
--/
def me : Profile :=
{ name := "ZHAI Jun"
role := "PhD student, Mathematics"
focus := "AI4Math"
affiliation := "National University of Singapore"
}
end Jun
/-- last_update: 2026-01-07 --/