Project Ideas

Ideally, your project should relate to your current research and really spark your curiosity, nothing else will keep you cranking to that final Qed. It may be sufficient just to formalize a domain you want to work in, e.g. the ISA of a new architecture or network design. Projects that explore proof engineering challenges or help improve our tools would also be interesting. For example, check out the proceedings from User Interfaces for Theorem Provers (h/t Colin for pointing out this workshop!).

Some strategies for cooking up a project proposal:

More concrete examples:

Existing Projects

Some successful projects you may want to extend or be inspired by:

Non Proof Assistant Automation

Some classic papers on automated theorem proving and verification: