Stimulus of Scientific Employment – Individual Support 2017
Junior researcher
Alexandre Leite de Castro Madeira
Inesc Tec - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Verification frameworks on-demand: new challenges and applications
Computer and information sciences
SDG Goal 9: Industry, Innovation and Infraestructures
SDG Goal 16: Peace, Justice and Strong Institutions
Formal MethodsDynamic LogicsDesign by ContractBlockchain Smart ContractsQuantum Algorithmics