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

[Jon Sterling]

Seconded! A transformative scientific contribution, written in a readable and enjoyable way. Congratulations on a well-deserved accolade.
- Jon


On Tue, Dec 18, 2018, at 7:29 AM, Wolfram Kahl 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