
<html xmlns="http://www.w3.org/1999/xhtml">

<head>

<title></title>

</head>

<body>

<div name="messageBodySection">

<div dir="auto">Type Theory Forall is opening a mentorship program to support students applying<br />

to graduate school in Computer Science, with a focus on Programming Languages<br />

and Formal Methods.<br />

<br />

The program covers all aspects of the application process (CVs, statements,<br />

cover letters, school and advisor selection, GRE/TOEFL planning) and also<br />

provides training on advisor compatibility, departmental culture, and mental<br />

health considerations. Support can continue after admission, with guidance on<br />

organizing your work routine, navigating advisor expectations, and maintaining <br />

a healthy work–life balance.<br />

<br />

We bring over 10 years of experience in PL and Formal Methods, 7+ years of<br />

teaching and mentoring, an ACM Best Teaching Assistant Award (Purdue, 2018), 5<br />

years hosting the Type Theory For all podcast, and service as a SIGPLAN-M mentor<br />

since its inception.<br />

<br />

More information and booking for a free initial meeting can be found here:<br />

<a href="https://urldefense.com/v3/__https://typetheoryforall.com/mentorship__;!!IBzWLUs!QynQZ4TTa-Gdk0Pvy8OP3eruIoeqWlfjwILsJau1aKxzxsRY1hKQedWD91Fs3R79kGS_vjSa5EjS0l9RtO_tsa_XnTk-tRk$" target="_blank">https://typetheoryforall.com/mentorship</a><br />

<br />

Please feel free to forward this to students and colleagues who may be interested.<br />

<br />

Contact: <a href="https://urldefense.com/v3/__https://mailto:contact@typetheoryforall.com__;!!IBzWLUs!QynQZ4TTa-Gdk0Pvy8OP3eruIoeqWlfjwILsJau1aKxzxsRY1hKQedWD91Fs3R79kGS_vjSa5EjS0l9RtO_tsa_XiBe-UdE$" target="_blank">contact@typetheoryforall.com</a><br />

<br />

Best,<br />

Pedro</div>

</div>

<div name="messageSignatureSection"><br />

<div class="matchFont"><br /></div>

</div>

</body>

</html>