Vai al contenuto

  • Uniweb
  • Departments
  • Schools
  • Webmail
  • Contacts
  • 800 years

Università degli Studi di Padova

  • SCEGLI IL
    TUO PROFILO
  • Search
  • MENU
  • IT EN CN
CLOSE
  • Studying in Padua

    • Salta al menu teaching and research
    • Admission
    • Study with us
    • Courses
    • Courses held in English
    • International Joint Programmes
    • Funding and Fees
    • Student administration and support
    • Arriving and living
    • Opportunities
    • Services
  • Teaching and Research

    • Salta al menu business and networking
    • Research Excellence
    • Supporting Research
    • Doctoral Degrees - PhD Programmes
    • International Mobility
    • Opportunities for Researchers
    • Services for International Scholars
    • On-line resources
    • Scientific and Academic Structures
  • Business and networking

    • Salta al menu about us
    • Tools for innovation
    • Industry-Academic relations
    • Professional and continuing education
    • Industry-Research relations
  • About us

    • Salta al menu going global
    • The University
    • Cultural Heritage
    • Welcome to Padua
    • Governance
    • Scientific and Academic Structures
  • Going global

    • Salta al menu study in english
    • Erasmus and other Exchange Programmes
    • International Joint Programmes
    • International Staff Training Week
    • Arqus Alliance
    • International Academic Networks
    • Map
    • Opportunities for researchers
    • Opportunities for refugees
  • Study in English

    • Salta al menu exchange students
    • Courses held in English
  • Exchange students

    • Salta al menu graduate programmes
    • Erasmus+ for Studies - incoming
    • Bilateral Agreements - incoming
    • Erasmus+ for Studies - outgoing
    • Ulisse - outgoing
    • Erasmus+ for Traineeship
    • Internships and Job Placement
    • Coimbra Group - Student Exchange Network (SEN)
    • European Credit Transfer and Accumulation System - ECTS
    • ICPU - Industry Community Project
    • Other opportunities
    • Welcome Days
  • Graduate programmes

    • Salta al menu visiting the university
    • Doctoral Degrees - PhD Programmes
    • Specialisation Schools
    • Short specialisation programmes
    • Higher level training courses
    • Professional courses
  • Visiting the University

    • Salta al menu home
    • Guided tours
  • Home

    • Salta al menu vivipd
    • Webmail
    • Data protection
    • About this site
    • An Inclusive University
    • Unipd.it
  • Menu
    • Menu Apri menu
    • Single-cycle degrees
    • The Italian education system
    • The university
    • History
    • Cultural Heritage
    • Research
    • Governance
    • Services
    • Courses held in English
    • Scientific and Academic Structures
    • Events
    • Galilean School of Higher Education
    • Short Specialisation degrees
    • Doctoral degrees - PhD Programmes
    • Getting here
    • General Information Offices
    • Specialisation Schools
    • Language courses
    • Other opportunities
    • Studying in Padua
    • Capacities - FP7
    • Cooperation - FP7
    • Euratom - FP7
    • Ideas - FP7
    • Joint Technology Initiatives - FP7
    • People - FP7
    • Other European Projects
  • People - FP7
    • People - FP7
    • Individual fellowships
    • Networks
    • Cofund
  • Networks
    • Networks
    • CLIMATE-FIT FORESTS
    • CONSTRUMATH
    • CORCON
    • ENDURE
    • ENHANCE
    • FUNEA
    • GLACERCO
    • HYTECH
    • INSECTIME
    • INTERAQCT
    • ITN-LCG
    • MOTORIST
    • MUMOLADE
    • MUZIC
    • NEAR
    • PHOSCHEMREC
    • QONTEXT
    • RADOX
    • READ
    • REVAMMAD
    • SADCO
    • TECAS
    • VENETONIGHT 2012
    • VENIGHT 2
  • IndietroCORCON

CORCON

CORRECTNESS BY CONSTRUCTION

Reference: 612638

Call: FP7-PEOPLE-2013-IRSES

Theme: networks

Scientist: Maria Emilia Maietti

Department: Mathematics

UNIPD: participant/coordinator

Eu Funding: 285,600 €

Email: mariaemilia.maietti@unipd.it

Project Description

As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!
Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also logical proofs of the correctness of these computations. The simple fact that such programs compile provides formal, i.e. mathematical, guarantees of the correctness of the program. In particular, there is no need for post-hoc testing of software etc. Fundamental to the implicit marriage of computation and logic inherent within correct by construction programming is the choice of the right logical systems and concepts upon which programming languages ought to be built. This reflects the symbiotic relationship between logic, programming, and the design of programming languages—any attempt to sever this connection will diminish each component. This proposal brings together internationally leading researchers from both inside Europe and outside Europe to work on exactly what logical structures are needed for correct by construction programming and how those logical structures can then by turned into concrete programming artefacts. In order to produce fundamental work which stands the test of time, we work not with specific programming languages but with mathematical abstractions of them. The recent development of dependently typed programming languages capable of supporting correct by construction programming makes this a very timely proposal, while the billions spent on software every year makes the potential impact of this proposal very significant. 

Partners

Coordinator: University of Leeds

Participants: University of Strathclyde, Swansea University, Stockholms Universitet, Universitaet Siegen, Ludwig-Maximilians-Universitäet, Università degli Studi dell’Insubria, Università degli Studi di Genova, National University Corporation Japan Advanced Institute of Science and Technology, University of Canterbury, The Australian National University, The Institute of Mathematical Sciences Chennai Society, Carnegie Mellon University, Hankyong National Univeristy, Chennai Mathematical Institute, Università degli Studi di Padova

UNIVERSITY OF PADUA

  • Departments
  • Schools
  • Centres
  • Libraries
  • Official list
  • Exchange students
  • Student Admissions
  • Study in English
  • Visiting the University

CONTACTS

Via 8 Febbraio, 2 - 35122 Padova

Switchboard: +39 049 827 5111
Call Centre: +39 049 827 3131
  • Certified mail: amministrazione.centrale@pec.unipd.it
  • Email: urp@unipd.it
Università inclusiva
© 2021 University of Padua - All rights reserved P.I. 00742430283 C.F. 80006480281
  • About this site
  • Privacy