<div dir="ltr">Hi Georgi,<div><br></div><div>I have similar interests as you and I am going to University of Nottingham for a Masters in Computer Science. Nottingham has a functional programming laboratory led by Prof. Graham Hutton and Prof. Thorsten Altenkirch : <a href="http://fp.cs.nott.ac.uk/">http://fp.cs.nott.ac.uk/</a> The programme has lots of interesting elective courses on functional programming, Logic, Mathematics etc. And also at the end of the course you do a thesis project with one of the research groups.</div><div><br></div><div>Thanks</div><div>Abhiroop</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jun 19, 2017 at 8:21 PM, Georgi Nakov <span dir="ltr"><<a href="mailto:nakov.gl@gmail.com" target="_blank">nakov.gl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="m_2720398694459588763m_5838499821898945699gmail-usertext-body m_2720398694459588763m_5838499821898945699gmail-may-blank-within m_2720398694459588763m_5838499821898945699gmail-md-container"><div class="m_2720398694459588763m_5838499821898945699gmail-md"><p>Hi all,<br></p>

<p>I was pondering on Master programme with "good" Haskell-related 
prospects upon completion (regardless whether  it's in academia or 
industry). Currently the only options available to me are Master in 
Logic at University of Amsterdam and Computing Science at Utrecht. The 
latter has more emphasis on FP and Haskell while the former seems more 
concerned with the mathematical/philosophical foundations. Any thoughts 
or direct observations on these programmes would be greatly appreciated.
 Thanks.</p>
</div>
<br></div><div class="m_2720398694459588763m_5838499821898945699gmail-usertext-body m_2720398694459588763m_5838499821898945699gmail-may-blank-within m_2720398694459588763m_5838499821898945699gmail-md-container">Best regards,<br></div><div class="m_2720398694459588763m_5838499821898945699gmail-usertext-body m_2720398694459588763m_5838499821898945699gmail-may-blank-within m_2720398694459588763m_5838499821898945699gmail-md-container">Georgi<br></div></div>
</div><br></div>
<br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Kloona - Coming Soon!<br></div></div>
</div>