Western Canada + Washington

Stream: Geographic locality

[Adam Topaz]

Hi all,

I'm wondering who here is from western Canada or Washington. Specifically, are there any people here (aside from myself and @Jake Levinson) affiliated with a university that is part of PIMS?

[Jake Levinson]

@Jarod Alper is at UW.

[Ashley Blacquiere]

Hey @Adam Topaz - @Jake Levinson and I just recently exchanged some messages about west coast people working in Lean. I'm faculty at North Island College on Vancouver Island, but that particular role isn't too relevant to Lean (I teach in a vocational diploma program for web and mobile app developers). However, I am also simultaneously completing a (second) MSc at UVic where I'm working on a Lean-based project in cryptography. I don't think anyone else is doing anything with Lean at UVic, but would be interested to discuss further to see how I can help out.

[Ashley Blacquiere]

Also I saw @Luke Mantle's post recently about being a student at UBC - anything happening there, Luke?

[Adam Topaz]

Great! Just a bit more context: I’m thinking about applying to run one of these PIMS network graduate courses about formalizing pure mathematics using lean. It’s mostly geared toward graduate students at PIMS institutions, so I wanted to gauge the interest. If you would be interested in such a course (or know of someone who will), please let me know!

[Ashley Blacquiere]

Oooh.. I actually very much might be... Will DM you.

[Adam Topaz]

Just a quick followup to the above: The PIMS-wide graduate course will run! It can be found here:
https://courses.pims.math.ca/

If you know of any students in western Canada who might be interested, please let them know!