[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Type Theory Forall is opening a mentorship program to support students applying
to graduate school in Computer Science, with a focus on Programming Languages
and Formal Methods.
The program covers all aspects of the application process (CVs, statements,
cover letters, school and advisor selection, GRE/TOEFL planning) and also
provides training on advisor compatibility, departmental culture, and mental
health considerations. Support can continue after admission, with guidance on
organizing your work routine, navigating advisor expectations, and maintaining
a healthy work–life balance.
We bring over 10 years of experience in PL and Formal Methods, 7+ years of
teaching and mentoring, an ACM Best Teaching Assistant Award (Purdue, 2018), 5
years hosting the Type Theory For all podcast, and service as a SIGPLAN-M mentor
since its inception.
More information and booking for a free initial meeting can be found here:
https://urldefense.com/v3/__https://typetheoryforall.com/mentorship__;!!IBzWLUs!QynQZ4TTa-Gdk0Pvy8OP3eruIoeqWlfjwILsJau1aKxzxsRY1hKQedWD91Fs3R79kGS_vjSa5EjS0l9RtO_tsa_XnTk-tRk$
Please feel free to forward this to students and colleagues who may be
interested.
Contact: [email protected]
Best,
Pedro
