Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / Projects

Projects

BETTY members are involved in a number of national and EU projects. This page lists projects that have started since the beginning of BETTY.

  • Choreographies for Reliable and Efficient Communication Software
    University of Southern Denmark (Fabrizio Montesi)
    Dates: August 2014 - July 2017
    Funded by: Danish Council for Independent Research - Technology and Production (DFF - 4005-00304) 
  • Upscale: from inherent concurrency to massive parallelism through type-based optimizations.
    Centrum voor Wiskunde en Informatica, Netherlands (Frank de Boer)
    Imperial College London, UK (Sophia Drossopoulou and Nobuko Yoshida)
    University of Oslo, Norway (Einar Broch Johnsen)
    Uppsala University, Sweden (Dave Clark and Tobias Wrigstad)
    Dates: February 2014 - February 2017
    Funded by: EU FP7-ICT-2013-X 
  • Computational Artifacts - Towards a design-oriented theory of computational artifacts in cooperative work practices.
    University of Copenhagen, Denmark (Thomas Hildebrandt)
    Copenhagen Business School, Denmark
    IT University of Copenhagen, Denmark.
    Dates: January 2014 - December 2017.
    Funded by: Velux Foundation (VELUX 33295)

  • Envisage: Engineering Virtualized Services.
    University of Oslo, Norway (Einar Broch Johnsen) 
    Centrum voor Wiskunde en Informatica, the Netherlands (Frank de Boer) 
    Technische Universität Darmstadt, Germany (Reiner Hähnle) 
    Università di Bologna, Italy (Cosimo Laneve) 
    Universidad Complutense de Madrid, Spain (Elvira Albert) 
    Atbrox AS, Norway (Amund Tveit) 
    SDL Fredhopper, the Netherlands (David Costa) 
    Engineering, Italy (Domenico Presenza) 
    Dates: October 2013- September 2016 
    Funded by: EU FP7-ICT Call 10

  • Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems.
    University of Glasgow, UK (Wim Vanderbauwhede, Simon Gay)
    Heriot-Watt University, UK (Sven-Bodo Scholz)
    Imperial College London, UK (Nobuko Yoshida, Wayne Luk)
    Dates:     October 2013 - September 2018
    Funded by:     EPSRC EP/L00058X/1
  • Dynamically and autonomously configurable types (DART).
    Dipartimento di Informatica, University of Torino (Luca Padovani, Mario Coppo, Mariangiola Dezani, Viviana Bono, Sara Cappechi, Ugo de'Liguoro)
    Centre for Mathematics and Statistics, University of Novi Sad (Jovanka Pantovic, Silvia Ghilezan, Jelena Ivetic)
    Dates: July 2013 - July 2015
    Funded by: Italian Ministry of Foreign Affairs / Serbian Ministry of Education, Science and Technological Development
  • From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
    University of Edinburgh, UK (Philip Wadler)
    Imperial College London, UK (Nobuko Yoshida)
    University of Glasgow, UK (Simon Gay)
    Dates: June 2013 - May 2018
    Funded by: EPSRC EP/K034413/1
  • Conversation-Based Governance for Distributed Systems by Multiparty Session Types
    Imperial College London, UK (Nobuko Yoshida)
    Dates: June 2013 - December 2017
    Funded by: EPSRC EP/K011715/1 
  • Security Horizons
    University of Cagliari, Italy (Massimo Bartoletti)
    University of Genova, Italy (Alessandro Armando)
    University of Napoli Federico II, Italy (Piero Bonatti)
    University of Pisa, Italy (Pierpaolo Degano)
    University of Milano, Italy (Ernesto Damiani)
    University of Verona, Italy (Luca Vigano')
    University of Venezia Ca' Foscari, Italy (Riccardo Focardi)
    CNR Pisa, italy (Fabio Martinelli)
    Dates: February 2013 - January 2016
    Funded by: Italian MIUR PRIN 2010-11 
  • Evolving Software Systems: Analysis and Innovative Approaches for Smart Management (EVOSOFT)
    University of Rijeka, Croatia (Tihana Galinac Grbac, Ivan Štajduhar, Goran Mauša)
    Lund University, Sweden (Per Runeson)
    Ericsson Nikola Tesla, Croatia (Darko Huljenić)
    University of Southern Denmark (Fabrizio Montesi)
    University of Hertfordshire, UK (Jean Petrić)
    Superius d.o.o., Croatia (Nikola Tankivić)
    Dates: July 2015 - July 2018
    Funded by: Croatian Science Foundation UIP-09-2014 project No. 7945 
  • Border Patrol: Improving Smart Device Security through Type-Aware Systems Design
    University of Glasgow (Wim Vanderbauwhede)
    Heriot-Watt University (Sven-Bodo Scholz, Chris Fensch)
    Imperial College London (Nobuko Yoshida)
    Dates: November 2016 - October 2021
    Funded by: EPSRC EP/N028201/1