Conversation

Hi friends, I'm really excited to announce that I will start as an Assistant Professor at in October! I will be joining the already wonderful and huge group ๐Ÿ˜Š. Please apply to work with me if you're interested in building a world of proof engineering for all!
167
1,439