Mentorship
Academic Mentorship
At Type Theory Forall, mentorship is at the core of what we do. We know that graduate school is tough—not only academically, but also personally and professionally. Applications are not just about getting in; they are about finding the right advisor, department, and environment where you can thrive as both a researcher and a person.
Through 1-on-1 mentorship, we work closely with students to prepare every aspect of their graduate school applications: CVs, statements of purpose, and cover letters; school selection; and, when needed, planning for standardized exams such as the GRE and TOEFL.
A central part of our mentorship is teaching students how to assess advisor compatibility and departmental culture. We provide training on how to ask key questions about advising style, how to talk with current students for candid insights, and how to evaluate the overall research environment. We also emphasize practical concerns: stipends, cost of living, the culture of the city, and even the climate. Our goal is to ensure that students find the best possible fit for their academic and personal needs.
Even after a student has started a graduate program, our mentorship can provide ongoing value. We offer training on how to navigate the high-pressure environment of academia: handling the strong expectations of advisors and departmental roles, developing healthy writing habits, and maintaining accountability. Just as importantly, we guide students in sustaining a good work–life balance and prioritizing mental health throughout their studies. Let’s face it—without a strong mental health foundation, no one can solve any PL problem.
We bring over 10 years of experience in Programming Languages and Formal Methods across academia and industry, more than 7 years teaching and mentoring hundreds of students, and recognition with the ACM Best Teaching Assistant Award (2018) at Purdue University. We have also served as SIGPLAN-M mentors since the very beginning of the program, supporting students worldwide. For the past 5 years, we have hosted the Type Theory Forall podcast, connecting with researchers across PL, Type Theory, and Formal Methods. This gives us a broad perspective on both the technical and human aspects of academia.
This is a paid mentorship service, which allows us to dedicate significant time and attention to each student. Unlike broader initiatives, we are able to go deeper into each individual’s background, goals, and aspirations. Depending on interest, we may also set up a small Discord server so that applicants can share their challenges and support one another, building a sense of community during the application season.
Tutoring
In addition to graduate school mentorship, we also offer technical tutoring in areas where we have extensive teaching experience. This includes tutoring in Rocq, Haskell, and OCaml, as well as Compilers, Logic, Abstract Algebra, and Object-Oriented and Functional Programming.
Over the years, we have taught a wide variety of courses: Introduction to Logic, first- and second-year programming in Java, C, and Python, as well as Abstract Algebra, Object-Oriented Design, and Functional Programming. This range allows us to adapt our tutoring to students at many different stages, from introductory learners to advanced students deepening their expertise.
While our core expertise lies in Programming Languages and Formal Methods, we are open to tutoring or mentoring students in other areas of Computer Science and Mathematics on a case-by-case basis.
You can schedule a free initial appointment using the button below, or reach out directly at contact@typetheoryforall.com or through the form below. We’d be glad to hear from you!
