[Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]

[Martin Escardo]

Well done, Jesper.

In particular as a daily user of --without-K, but not only because of 
that, I appreciate your work.

All the best,
Martin

On 18/12/2018 15:29, kahl at cas.mcmaster.ca wrote:
> Hi Jesper,
> 
>    congratulations for this well-deserved award!
> 
> 
> Wolfram
> 
> 
> ----- Forwarded message from eapls-noreply at eapls.org -----
> Subject: [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD  Disseration Award 2017/18
> From: <eapls-noreply at eapls.org>
> To: <kahl at cas.mcmaster.ca>
> Date: Tue, 18 Dec 2018 15:21:01 +0000
> 
> EAPLS: European Association for Programming Languages and Systems
> 
> The EAPLS Best Ph.D. Dissertation Award 2017/18 has been won by Jesper Cockx, Ph.D. (KU Leuven),
> for his dissertation on "Dependent Pattern Matching and Proof-Relevant Unification".
> 
> 
> 
>     It is the great pleasure of the European Association on Programming Languages and Systems to
>     announce the outcome of the EAPLS Best Dissertation Award 2017/18.
> 
>     This award is given to the PhD student who has made the most original and influential
>     contribution to the area of Programming Languages and Systems, and has graduated in 2017/18 at
>     a European academic institute. The purpose of the award is to draw attention to excellent
>     work, to help the career of the student in question, and to promote the research field as a
>     whole.
> 
>     The winner of this edition of the EAPLS Dissertation Award is
> 
>     Jesper Cockx, Ph.D (KU Leuven, Belgium)
> 
>     for his dissertation on
> 
>     Dependent Pattern Matching and Proof-Relevant Unification
> 
>     supervised by Prof. Frank Piessens and Dr. Dominique Devriese. The winner was selected by a
>     committee of international experts. Details on the procedure can be found at
>     http://eapls.org/pages/phd_award/. The candidate theses were judged on originality, impact,
>     relevance, and quality of writing.
> 
>     The jury concluded that Jesper's dissertation is an outstanding piece of work; it received the
>     best marks amidst some very strong contenders. A summary of the jury's findings:
> 
>       * The thesis addresses a very complex problem on a high-level of formality and presents an
>         important step in dependent type theory.
>       * It puts the topic of dependent pattern matching on a more general and solid mathematical
>         grounding.
>       * It is considered one of the best and most accessible theses on dependent types.
>       * The results have been published at venues of high impact in the programming language
>         community.
>       * The work already has a high degree of influence through having its concepts being adopted
>         by longstanding proof assistants.
> 
>     We offer Jesper our heartfelt congratulations on his achievement. We are confident that it
>     will be a sign of a long and distinguished scientific career.
> 
> 
> ==================================================================================================
>              
> This message was sent by the EAPLS because you are a member. For more information about the EAPLS,
> visit our website, http://eapls.org/
> 
> You can edit your EAPLS mailing list preferences at: http://eapls.org/accounts/edit/
> 
> 
> 
> !DSPAM:5c19109329421804284693!
> 
> 
> 
> ----- End forwarded message -----
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe