Zulip Chat Archive
Stream: Geographic locality
Topic: Edmonton, CA
Jason Morris (Jan 19 2022 at 19:12):
Computational Law guy living in Sherwood Park, just outside #yeg.
Adam Topaz (Jan 19 2022 at 21:19):
Hi @Jason Morris I'm at UofA
Matt Yan (Feb 07 2022 at 09:14):
I'm at UofA!
Adam Topaz (Feb 07 2022 at 15:14):
@Matt Yan Oh great! Are you part of the compsci dept. or math?
Matt Yan (Feb 07 2022 at 21:35):
@Adam Topaz I just graduated in Math specialization. But I was once in compsci program and almost took every required compsi courses too. Personally I both program for hobby and work so call me a compsci math guy :sunglasses:
Matt Yan (Feb 07 2022 at 21:35):
How about you
Adam Topaz (Feb 07 2022 at 21:36):
I'm faculty in the math dept.
Adam Topaz (Feb 07 2022 at 21:38):
As far as I know, I might be the only faculty member at UofA who is interested in formalizing pure math.
Matt Yan (Feb 07 2022 at 21:48):
As far as I know, I might be the only faculty member at UofA who is interested in formalizing pure math.
I've been wondering about that! I had the impression that Bowman does some computational stuff? But I have no clue otherwise. Good to know there is at least somebody!
Siyuan Yan (Nov 03 2022 at 15:35):
@Adam Topaz Time flies! I'm currently doing an Msc in pure math at Cardiff University, UK. Are there more people at UofA intereted in formal math now?
Last updated: Dec 20 2023 at 11:08 UTC