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