/***
##############################
# Identification of the news #
##############################
# DO NOT MODIFY
name: Victor-Lanvin-Google-PhD-frellowship
date: 2018-04-06

# the picture address, in dokuwiki or web syntax
picture = :actualites:ressources:logo-research-at-google.png

# the name displayed when hovering over the picture (optional)
picture tag = Research at Google

# the link to be followed when clicking on the picture (optional)
picture link = 

# the link in the circled arrow icon (optional)
extra link = https://recherche.univ-paris-diderot.fr/actualites/victor-lanvin-laureat-dun-google-phd-fellowship

From 2018-04-06 until 2018-06-06, priority= normal

notion = gradual typing
notion text = {Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.}
***/
[[https://vlanvin.fr|Victor Lanvin]] (PhD student of [[http://www.irif.fr/~gc|Giuseppe Castagna]], IRIF) is awarded the [[https://research.googleblog.com/2018/04/announcing-2018-google-phd-fellows-for.html|Google PhD fellowship]]! Through the [[https://www.sciencesmaths-paris.fr|FSMP]], Google will give a significant support to Victor's research work on gradual typing.