Não-localidade e causalidade na mecânica quântica, assim como simuladores quânticos, estão entre os temas de pesquisa mais ativos da Física. Os três podem ser classificados dentro da categoria geral de redes quânticas complexas. Na prática, tais redes possuem componentes não confiáveis (sem controle quântico total, com ruído). O objetivo do projeto é desenvolver um formalismo unificado para redes quânticas não confiáveis como recurso para processamento de informação. Dentro desse paradigma, nossos esforços serão focados em três linhas concretas: i) formas superiores de não-localidade quântica (mais fortes do que a forma usual do teorema de Bell); ii) superposições quânticas de ordens causais como recurso operacional para informação quântica; e iii) certificação de simuladores quânticos de muitos corpos não confiáveis. O projeto é de natureza teórica, mas com relevância experimental. Ele vai explorar as fronteiras da física teórica com base nas mais avançadas tecnologias quânticas.