Alex Ness

Stream: new members

[Alex Ness]

Hi everyone,

I live in the Bay Area and recently graduated from the SFSU Statistical Data Science MS Program.
I work as a data analyst, and enjoy math as a hobby.

Lean 4 has appealed to me as a way to get back into formal mathematics.
I've been learning on my own for about a month, and now I'm excited to join the community!

[Arshak Parsa]

Hi, I'm in the same situation as you, I'm a statistics student, but I like to learn lean4 :grinning_face_with_smiling_eyes:.

[Alex Ness]

@Arshak Parsa Nice! I'm interested in formalizing some linear algebra for statistical signal processing.