Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

David Lo, of Singapore Management University, is an expert in the use of statistical methods in understanding software and associated artifacts, with over 140 publications in this area. Julia Lawall has worked with Lo over the past 5 years, exploiting the complementarity of her expertise in Linux code and in program analysis with Lo's expertise in statistical methods, resulting in 10 joint publications  [47] , [44] , [66] , [70] , [71] , [72] , [73] , [69] , [76] . This collaboration has been reinforced in the form of a Merlion collaboration grant from the Institut Français for the years 2013 and 2014, resulting in the exchange of researchers and PhD students between Whisper and Singapore Management University.

Wouter Swierstra is lecturer in the Software Technology Group of Utrecht University. His work lies at the crossroad between dependent type theory, generic programming, and domain-specific languages embedded in type theory. As part of his PEPS JCJC, Pierre-Évariste Dagand visited him to apply for a joint Van Gogh grant on the topic of extending type theory with language interoperability, allowing unsafe operations to be performed in a type-safe framework.

Timothy Roscoe is a Professor in the Institute for Pervasive Computing at ETH Zurich. His research areas are operating systems, distributed systems, and networking. As part of his PEPS JCJC, Pierre-Évariste Dagand visited the Systems group at ETH to explore avenues for collaboration on applying synchronous programming concepts to the design and implementation of network stacks.