Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Olin Shivers, professor at Northeastern University (Boston), visited the Gallium team from July 2013 to December 2013. He worked on static analysis and intermediate representations for functional programming languages.

Internships

• Robbert Krebbers

  • Subject: formal semantics for the C language

  • Date: from Jan 2013 until Mar 2013

  • Institution: Radboud University (Netherlands)