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
47
1,439
