Samuel Hym

Avant de devenir maître de conférences à l'Université Lille 1, enseignant au FIL et chercheur dans l'équipe-projet POPS du LIFL et de l'INRIA Lille Nord Europe, j'ai effectué :

un post-doctorat CNRS au LIP, laboratoire d'informatique de l'ENS de Lyon dans le cadre du projet MoDyFiable ; j'y travaillais avec Daniel Hirschkoff sur la modélisation et le raisonnement sur les programmes utilisant de la modularité dynamique ;
un séjour post-doctoral dans le projet Metarouting avec Timothy Griffin au laboratoire d'informatique de l'Université de Cambridge ; ce projet propose une approche novatrice pour concevoir de nouveaux protocoles de routage de façon à pouvoir automatiquement prouver les propriétés qu'ils doivent nécessairement vérifier ;
ma thèse dans le laboratoire PPS de l'Université Paris 7 sous la direction de messieurs Matthew Hennessy et Vincent Danos. Ma thèse étudie le typage et le contrôle de la mobilité du code dans un calcul de processus.

Cependant, en tant qu'informaticien, je suis particulièrement sensible à la nécessité de lutter contre les brevets logiciels.

Vous pourrez trouver ici des informations sur :

mes travaux de recherche ;
les enseignements que j'assure actuellement ainsi que quelques archives ;
des morceaux plus ou moins intéressants de code que j'ai écrits.

Mon adresse électronique est de la forme Prenom.Nom@univ-lille1.fr comme pour tous les personnels de l'université. Mes coordonnées physiques sont les suivantes :

Before joining the Université Lille 1 as maître de conférences (lecturer), teaching in the FIL and researching with the project-team POPS affiliated with both LIFL and INRIA Lille Nord Europe, I have been:

CNRS post-doctorate at the LIP computer science laboratory of the ENS-Lyon within the MoDyFiable project; I worked there with Daniel Hirschkoff on how to model and reason about programs using on dynamic modularity;
post-doctorate in the Metarouting project with Timothy Griffin at the Computer Laboratory of the University of Cambridge; this project aims at providing new ways to define network routing protocols so as to automatically derive proofs of the properties that should hold for such a protocol;
PhD student in the lab PPS of the Université Paris 7 under Mr Matthew Hennessy's and Mr Vincent Danos's supervision; I studied in my thesis how to type some process calculus in order to control the mobility of processes.

As a computer scientist, I am particularly sensitive on the subject of fighting against software patents.

You will find on this site some information about my research works and some more or less interesting bits of code I wrote.

You will find around here some information about:

my research works;
some more or less interesting bits of code I wrote.

If you want to send me some comments or anything else, you can use my e-mail address which follows the general scheme Firstname.Surname@univ-lille1.fr. My physical address is the following: