Introduction: Emily Beatty

Stream: new members

[Emily Beatty]

Hi, I'm Emily, and I'm a third year PhD student at the ENS de Lyon doing quantum information theory. I have been meaning to get into proof formalism since about May 2018 and have finally made myself a Zulip account. I'll be following a grad course from the middle of February as an introduction to Lean and then we'll see what happens from there!

[Bhavik Mehta]

Hello! Are you the same Emily Beatty who I supervised in undergrad? If so, nice to see you around :)

[Frédéric Dupuis]

Welcome! Are you working with Omar Fawzi by any chance?

[Emily Beatty]

Bhavik Mehta said:

Hello! Are you the same Emily Beatty who I supervised in undergrad? If so, nice to see you around :)

Yeah, that's me! Good to see you :D

[Emily Beatty]

I'm in Omar's team QInfo, but don't work with him directly - my supervisors are Daniel Stilck Franca (at Copenhagen) and Guillaume Aubrun (at UCBL)