Zulip Chat Archive

Stream: Geographic locality

Topic: Montreal, Quebec


view this post on Zulip Frédéric Dupuis (Jul 24 2020 at 02:52):

I just realized I should probably introduce myself properly now that I'm making PRs :-) I'm an assistant prof in CS at the University of Montreal, working in quantum information theory. I don't know anything about formal verification despite being in CS however, so I guess here that makes me some sort of very applied mathematician.

view this post on Zulip Jalex Stark (Jul 24 2020 at 02:56):

Ah! I thought your name sounded familiar --- I've used your entropy accumulation stuff before

view this post on Zulip Jalex Stark (Jul 24 2020 at 02:57):

or, rather, Thomas used it and I only kind of understood it

view this post on Zulip Frédéric Dupuis (Jul 24 2020 at 04:16):

Yes, I remember seeing your name on the list of QIP speakers at some point I think!

view this post on Zulip Jalex Stark (Jul 24 2020 at 04:35):

:) the main theorem of the talk i gave at QIP 2018 is false

view this post on Zulip Jalex Stark (Jul 24 2020 at 04:35):

that's a big reason that I'm here

view this post on Zulip Jasmin Blanchette (Jul 24 2020 at 05:45):

Bienvenue, Frédéric ! I'm from Warwick, Qc.

view this post on Zulip Simon Hudon (Jul 24 2020 at 12:50):

Bienvenue! Je viens de Gatineau, Qc :)

view this post on Zulip Jasmin Blanchette (Jul 24 2020 at 13:30):

Yuck. Could somebody (-ies?) make that ugly maple leaf go away? ;) :fleur_de_lis: :fleur_de_lis: :fleur_de_lis:

view this post on Zulip Frédéric Dupuis (Jul 25 2020 at 01:23):

Merci! En fait je travaillais au LORIA à Nancy jusqu'à récemment, j'avais entendu ton nom à plusieurs reprises :-)

view this post on Zulip Frédéric Dupuis (Jul 25 2020 at 01:32):

@Jalex Stark, actually one of the reasons why I'm here is that the entropy accumulation paper took a solid three years to get through the refereeing process, by which time there were several other results built on top. The referees didn't find any bugs in the end, but it makes you think...

view this post on Zulip Jalex Stark (Jul 25 2020 at 01:33):

yeah there's a lot of bookkeeping there which seems like a computer really ought to be good at

view this post on Zulip Frédéric Dupuis (Jul 25 2020 at 01:36):

Yeah, and when you take into account the amount of proofreading you have to do, formalizing the result suddenly seems a lot less time-consuming...

view this post on Zulip François Sunatori (Apr 19 2021 at 02:08):

I'm also from Gatineau, QC, studied at Université de Montréal in CS/math and now working in Montreal


Last updated: Jul 29 2021 at 21:10 UTC