introduction: Fatimah Ahmadi

Stream: new members

[Fatimah(Rita) Ahmadi]

Hi, I am a DPhil student at the university of Oxford, that would be helpful if I could meet someone(maybe a fellow PhD student) in Oxford or London to pick up some basics. Thanks so much

[Johan Commelin]

@Fatimah(Rita) Ahmadi Welcome! There's quite a large crowd in London.

[Johan Commelin]

Can you say a bit more about your background? Maths or CS? Have you already done some tutorials?

[Fatimah(Rita) Ahmadi]

None, physics, but know some math, interested in category theory, yes I followed some tutorials but need to talk to someone.

[Fatimah(Rita) Ahmadi]

Imperial works for me! Maybe if someone is free sometime over lunch!

[Fatimah(Rita) Ahmadi]

my email: fatimah.ahmadi@seh.ox.ac.uk Thanks!

[María Inés de Frutos Fernández]

Hi @Fatimah(Rita) Ahmadi ! I'm a postdoc at Imperial, working on formalizing some algebraic number theory. I'm not familiar with the category theory part of mathlib, but I would be happy to talk about Lean at some point. Maybe one Thursday after the London Learning Lean seminar? Feel free to PM me, and welcome!