EN
FR
Section:
Partnerships and Cooperations
International Research Visitors
Internships
-
Anisia Maria Magdalena Tudorescu
-
Subject: Integrating SMT solvers into Spike
-
Date: from Mar 2013 until May 2013
-
Institution: West Timisoara University (Romania)
-
Cosay Gurkay Topaktas
-
Subject: Property Based Testing
-
Date: from Feb 2013 until Jun 2013
-
Institution: Erasmus Mundus MSc in Dependable Software Systems
-
Fellype Vedovato Martins
-
Subject: Generation of Terms
-
Date: from Jun 2013 until Sept 2013
-
Institution: Mines-Nancy, 2nd year student