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

[Philip Wadler]

Well done, Jesper, and well deserved! -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/

Too brief? Here's why: http://www.emailcharter.org/


On Tue, 18 Dec 2018 at 15:30, Wolfram Kahl <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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181218/0e4287a7/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181218/0e4287a7/attachment.ksh>