Leuven, BE

Stream: Geographic locality

[Michaël Maex]

Hi! I'm just getting started with lean and would love to meet other people interested in formalisation

[Simon Jacobsson]

Hello, I'm a PhD student at the computer science department. Also just started with formalisation.

[Bart Michels]

I'd be curious to know, who in Leuven is working in formalization?

[Simon Jacobsson]

Bart Michels said:

I'd be curious to know, who in Leuven is working in formalization?

It might be just me and Michael, tho I can't find him in KU Leuven "who's who". I am not aware of any professors here that work with formalization, and I'm not doing it for my thesis really, it's just something I'm interested in :).