Roland Ducournau home page

Sujets de recherche pour étudiants

(stages de M1/M2, TER de M1/M2, thèses de doctorat, ...)

Propositions de stages de Master (M2) Recherche en 2011-2012

l'un des 2 premiers sujets peut donner lieu à poursuite en thèse en 2012, avec un sujet classé prioritaire pour une allocation ministérielle en 2012.

Etude préliminaire d'une machine virtuelle en héritage multiple et typage statique
Etude préliminaire d'une machine virtuelle en Smalltalk
Étude d'un GC incrémental vérifié formellement , pour systèmes embarqués dans la société Cortus
me contacter pour d'autres sujets autour de l'implémentation des objets et du langage PRM

Proposition de projet (TER) de Master (M1) en 2011-12 (S2)

à suivre

Proposition de projet (TER) de Master pro AIGLE (M2) en 2011-12 (S4)

à suivre

analyse statique de programmes SCALA

Proposition de sujet de thèse pour la rentrée 2012

Etude, conception et réalisation d'une machine virtuelle en héritage multiple (sujet classé prioritaire pour une allocation ministérielle en 2012)
Si vous êtes intéressé, contactez moi.

Stages d'été sur PRM (M1) juin-juillet : me contacter.

Nous avons une collaboration avec l'UQAM à Montréal (Québec-Canada) : possibilité de stage de M2 ou de thèse. Me contacter.