Zulip Chat Archive

Stream: new members

Topic: introduction: Fatimah Ahmadi


Fatimah(Rita) Ahmadi (Feb 11 2022 at 20:34):

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 (Feb 11 2022 at 20:39):

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

Johan Commelin (Feb 11 2022 at 20:39):

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

Fatimah(Rita) Ahmadi (Feb 11 2022 at 20:42):

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

Fatimah(Rita) Ahmadi (Feb 11 2022 at 20:44):

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

Fatimah(Rita) Ahmadi (Feb 11 2022 at 20:47):

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

María Inés de Frutos Fernández (Feb 16 2022 at 22:12):

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!


Last updated: Dec 20 2023 at 11:08 UTC