If you are looking for an internship or PhD subject, here are topics I am interested in:
- Foundations of geometry
- Formalization of maths, and in particular geometry, applications in education or robotics
- Use of proof assistants for teaching maths and logic
- Automatic formalization of maths
- Automated theorem proving: generating readable and machine checkable proofs
- Formalization of mathematical libraries geared toward education
- Formalization of physics
- Computer science unplugged
- Tangible programming