<div dir="ltr"><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px">Hello,</span><br style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px"><br style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px"><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px">I'm a comp. sci undergrad student in my second year. I'm studying at IIIT-Hyderabad in India.</span><br style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px"><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px">I'm looking for companies that want summer interns for functional programming or</span><br style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px"><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px">pure mathematics related to FP (category theory, type theory, HoTT..).</span><div><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px;line-height:1.5"><br></span></div><div><span style="line-height:1.5;font-size:13px;color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif">My github is here:</span><span class="inbox-inbox-Apple-converted-space" style="line-height:1.5;font-size:13px;color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif"> </span><font face="helvetica neue, helvetica, arial, sans-serif" style="line-height:1.5"><span style="line-height:1.5"><a href="http://github.com/bollu">http://github.com/bollu</a></span></font><br></div><div><span style="line-height:1.5;font-size:13px;color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif">Math.stackexhcange:</span><span class="inbox-inbox-Apple-converted-space" style="line-height:1.5;font-size:13px;color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif"> </span><a href="http://math.stackexchange.com/users/261373/siddharth-bhat" style="line-height:1.5"><font face="helvetica neue, helvetica, arial, sans-serif"><span style="line-height:1.5">http://math.stackexchange.com/</span></font><font face="helvetica neue, helvetica, arial, sans-serif"><span style="line-height:1.5">users/261373/siddharth-bhat</span></font></a></div><div><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px;line-height:1.5"><br></span></div><div><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px;line-height:1.5">Thanks,</span></div><div><span style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px;line-height:1.5">Siddharth</span><div><br class="inbox-inbox-Apple-interchange-newline"><br style="color:rgb(33,33,33);font-family:"helvetica neue",helvetica,arial,sans-serif;font-size:13px"></div></div></div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature">Sending this from my phone, please excuse any typos!</div>