Stockholm, Sweden

Stream: Geographic locality

[Yaël Dillies]

I just started my PhD in Stockholm University under Olof Sisask. I will not be working on formalisation (shocking!). However there is no doubt I will organise some kind of activities around Lean and theorem proving, be it a seminar or informal meetups.