<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>Keep in mind that the Netherlands are a small country, with Amsterdam close to Utrecht and vice versa, with the possibility to take courses in the other city as part of your program. In Utrecht there is Logic Department too.</div><div><br></div><div>If your emphasis is on CS and Haskell and you want to pursue a career in industry (think Stadard Chartered and the like) I think Utrecht is the thing to choose. You will get a firm background in FP. If you want to pursue a career in Logic at some university Amsterdam is probably the thing to choose.</div><div><br></div><div>I personally think that what a student learns depends largely on the way he manages to consume what is on offer and to choose from all the options. The fact that you are apparently asking such questions before chossing whete to go makes me feel optimistic.</div><div><br></div><div> Doaitse Swierstra, </div><div> emeritus from Utrecht so probably a bit biased.</div><div><br>Op 20 jun. 2017 om 08:28 heeft Abhiroop Sarkar <<a href="mailto:asiamgenius@gmail.com">asiamgenius@gmail.com</a>> het volgende geschreven:<br><br></div><blockquote type="cite"><div><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>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Haskell-Cafe mailing list</span><br><span>To (un)subscribe, modify options or view archives go to:</span><br><span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a></span><br><span>Only members subscribed via the mailman list are allowed to post.</span></div></blockquote></body></html>