protz

En plus d’être un talentueux joueur de bowling (ainsi qu’il l’a démontré au Fosdem), Protz (Jonathan Protzenko) est aussi une tête pensante ! Il suit ses études à l’ENS (École Normale Supérieure) de lyon, et fais actuellement une thèse à l’INRIA, à Rocquencourt, près de Versailles. Sa thèse porte sur la conception d’un langage de programmation ; l’idée étant que les programmes écrits dans ce langage seraient facilement prouvables. Bonjour Mozilla vous incite fortement à lui demander plus de détails, car vous pouvez nous croire, cela ouvre des horizons ! Mais Protz ne s’arrête pas là ! Car il développe en plus des extensions pour Thunderbird (par exemple, ici, ici, et ici), et fixe des bugs pour le Panda Roux… Bref : un mec bien !

Bonjour Protz !


Not only is he a talented player at bowling (as he demonstrated during FOSDEM), Protz (Jonathan Protzenko) is also a great thinker. He studies at the ENS (École Normale Supérieure) of Lyon and is writing his thesis for the INRIA (National Institute for Research in Computer Science and Control) in Roquencourt, near Versailles. The subject of his thesis concerns the creation of a programming language, the idea being that programs written in this language are easily provable. Bonjour Mozilla recommends strongly that you come and ask him more details about this, because believe us: it opens up new horizons! But wait, there’s more! In fact, Protz also develops addons for Thunderbird (for example here, here and here), and fixes bugs for the Red Panda… In short: he’s a really cool guy!

Bonjour Protz!