Institutions
Scientific Areas
Type of Funding
UN SDG
Type of Funding
Stimulus of scientific employment, individual support
CEECIND/00130/2017
←
Back
Financing Type
Stimulus of Scientific Employment – Individual Support 2017
Contract Type
Junior researcher
Researcher Name
Alexandre Leite de Castro Madeira
Host Institution
Inesc Tec - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Project Title
Verification frameworks on-demand: new challenges and applications
Scientific Areas
Computer and information sciences
Sustainable Development Goals
SDG Goal 9: Industry, Innovation and Infraestructures
SDG Goal 16: Peace, Justice and Strong Institutions
Keywords
Formal Methods
Dynamic Logics
Design by Contract
Blockchain Smart Contracts
Quantum Algorithmics
Carregando