Find Academic Supervisors
Find and connect with academic supervisors, professors, and scholars for your research journey.
Sign in to see who matches "Automated Theorem Proving"
Create a free account to filter by research interest, university, academic rank, and country — and start reaching out in minutes.
1,000,000
supervisors indexed
3,598
universities
84
countries
Find better-fit supervisors
Filter by research interests, publications, grants, and availability signals.
Send stronger outreach
Generate tailored emails and keep every follow-up organized.
Track wallet and activity
Monitor credits, scheduled emails, and saved supervisors in one dashboard.