Samuel Hym

[contact]

adresse électronique
⟨prenom⟩.⟨nom⟩@univ-lille1.fr (fr, en, es)
adresse postale
CRIStAL, bâtiment M3
Université Lille 1
59655 Villeneuve d’Ascq Cedex
France
téléphone
+33 3 28 77 85 69 (M3)
+33 3 62 53 16 12 (IRCICA)

[fr]

Maître de conférences en informatique à l’Université Lille 1 : enseignant à l’UFR IEEAFIL, chercheur au laboratoire CRIStAL dans l’équipe 2XS.

Travaux de recherche

Je m’intéresse à la sûreté des programmes, en particulier dans les systèmes fortement contraints.

Je travaille ainsi sur l’inférence statique de bornes de consommation de mémoire dynamique dans les langages avec ramasse-miettes : JConsume est une collaboration avec l’Universidad de Buenos Aires entamée dans le cadre du laboratoire franco-argentin INFINIS.

Ma thèse (effectuée au laboratoire PPS de l’Université Paris 7 et dans la School of Informatics de l’University of Sussex) et quelques travaux ultérieurs portaient sur les calculs de processus, en particulier leurs systèmes de types.

Mes publications.

Mes propositions de projets.

[en]

Maître de conférences in computer science in Université Lille 1: teacher in the UFR (≈ department) IEEAFIL, researcher in the CRIStAL laboratory in the 2XS team.

Research work

I am interested in the property of safety of programs, in particular in strongly constrained systems.

At the moment I mostly work on the static inference of bounds for the consumption of dynamic memory in garbage-collected languages: JConsume is a collaboration with the Universidad de Buenos Aires started in the setting of the Argentinian-French laboratory INFINIS.

My PhD thesis (which I did both at the PPS laboratory of the Université Paris 7 and at the School of Informatics of the University of Sussex) and a few later works of mine were about process calculi, in particular their type systems.

My publications.