<div dir="ltr">Well done, Jesper, and well deserved! -- P<div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">. \ Philip Wadler, Professor of Theoretical Computer Science,<br>. /\ School of Informatics, University of Edinburgh<br></div><div>. / \ and Senior Research Fellow, IOHK<br></div><div dir="ltr">. <span><a href="http://homepages.inf.ed.ac.uk/wadler/" target="_blank">http://homepages.inf.ed.ac.uk/wadler/</a></span></div></div><div dir="ltr"><br></div><div>Too brief? Here's why: <a href="http://www.emailcharter.org/" target="_blank">http://www.emailcharter.org/</a></div></div></div></div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 18 Dec 2018 at 15:30, Wolfram Kahl <<a href="mailto:kahl@cas.mcmaster.ca">kahl@cas.mcmaster.ca</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Jesper,<br>
<br>
congratulations for this well-deserved award!<br>
<br>
<br>
Wolfram<br>
<br>
<br>
----- Forwarded message from <a href="mailto:eapls-noreply@eapls.org" target="_blank">eapls-noreply@eapls.org</a> -----<br>
Subject: [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18<br>
From: <<a href="mailto:eapls-noreply@eapls.org" target="_blank">eapls-noreply@eapls.org</a>><br>
To: <<a href="mailto:kahl@cas.mcmaster.ca" target="_blank">kahl@cas.mcmaster.ca</a>><br>
Date: Tue, 18 Dec 2018 15:21:01 +0000<br>
<br>
EAPLS: European Association for Programming Languages and Systems<br>
<br>
The EAPLS Best Ph.D. Dissertation Award 2017/18 has been won by Jesper Cockx, Ph.D. (KU Leuven),<br>
for his dissertation on "Dependent Pattern Matching and Proof-Relevant Unification".<br>
<br>
<br>
<br>
It is the great pleasure of the European Association on Programming Languages and Systems to<br>
announce the outcome of the EAPLS Best Dissertation Award 2017/18.<br>
<br>
This award is given to the PhD student who has made the most original and influential<br>
contribution to the area of Programming Languages and Systems, and has graduated in 2017/18 at<br>
a European academic institute. The purpose of the award is to draw attention to excellent<br>
work, to help the career of the student in question, and to promote the research field as a<br>
whole.<br>
<br>
The winner of this edition of the EAPLS Dissertation Award is<br>
<br>
Jesper Cockx, Ph.D (KU Leuven, Belgium)<br>
<br>
for his dissertation on<br>
<br>
Dependent Pattern Matching and Proof-Relevant Unification<br>
<br>
supervised by Prof. Frank Piessens and Dr. Dominique Devriese. The winner was selected by a<br>
committee of international experts. Details on the procedure can be found at<br>
<a href="http://eapls.org/pages/phd_award/" rel="noreferrer" target="_blank">http://eapls.org/pages/phd_award/</a>. The candidate theses were judged on originality, impact,<br>
relevance, and quality of writing.<br>
<br>
The jury concluded that Jesper's dissertation is an outstanding piece of work; it received the<br>
best marks amidst some very strong contenders. A summary of the jury's findings:<br>
<br>
* The thesis addresses a very complex problem on a high-level of formality and presents an<br>
important step in dependent type theory.<br>
* It puts the topic of dependent pattern matching on a more general and solid mathematical<br>
grounding.<br>
* It is considered one of the best and most accessible theses on dependent types.<br>
* The results have been published at venues of high impact in the programming language<br>
community.<br>
* The work already has a high degree of influence through having its concepts being adopted<br>
by longstanding proof assistants.<br>
<br>
We offer Jesper our heartfelt congratulations on his achievement. We are confident that it<br>
will be a sign of a long and distinguished scientific career.<br>
<br>
<br>
==================================================================================================<br>
<br>
This message was sent by the EAPLS because you are a member. For more information about the EAPLS, <br>
visit our website, <a href="http://eapls.org/" rel="noreferrer" target="_blank">http://eapls.org/</a><br>
<br>
You can edit your EAPLS mailing list preferences at: <a href="http://eapls.org/accounts/edit/" rel="noreferrer" target="_blank">http://eapls.org/accounts/edit/</a><br>
<br>
<br>
<br>
!DSPAM:5c19109329421804284693!<br>
<br>
<br>
<br>
----- End forwarded message -----<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br>
</blockquote></div>