Timothy GowersDec 28, 2022

I will be taking on at least one new PhD student in automatic theorem proving in October 2023. If you might be interested in applying, it is bureaucratically easier if you do so before January 6th, though not completely essential. For more details about the project, have a look at our website, which is still under development but which contains quite a lot of material. 1/

https://wtgowers.github.io/human-style-atp/

Human-Oriented Automatic Theorem Proving

Show threadXavier Généreux

@wtgowers To apply should I both send an email and apply through cambridge, or is the email is enough for now?

Also did the sequel of the manifesto mentioned at the end of section 8.1 that is supposed to discuss fully justified proofs available? I would love to read it!
Thank you,
Xavier

Dec 30, 2022 at 12:19amWeb
Show threadTimothy GowersDec 30, 2022
@xavier I think the best thing is if you send me an email and we can discuss how to proceed from there.
Show threadXavier GénéreuxDec 31, 2022
@wtgowers Great! Thank you for your answer.