Defesa de tese de doutorado

[Mario Roberto Folhadela Benevides]

Caros,

Gostaria de convidá-los para a defesa remota da tese  de doutorado do meu aluno Vitor Pereira Machado, na quinta dia 13/07 às 9:00 (horário de Brasília).

Abraços,

Mario 

Aluno: Vítor Pereira Machado

Título: Temporal Logics for Diffusion Social Networks

Resumo: This thesis introduces LTL-SN, a logic-based framework for modeling social networks using Linear Temporal Logic (LTL). LTL-SN incorporates social network properties of adoption, where agents adopt behaviors based on their friends' behavior. Additionally, it explores variations of the model for analyzing disease spread in populations using compartmental models. The thesis leverages existing specification languages and model checking implementations, representing social networks as LTL paths specified with {\sc nuXmv} models. Published research findings are referenced. We provide axiomatization and proofs of soundness and completeness for each presented logic variant, including compartmental SIR and SIRS models.

Banca: 

- Mario R. F. Benevides (Orientador externo) (IC-UFF)

- Valmir C. Barbosa  (PESC-UFRJ)
- Priscila M. V. Lima (PESC-UFRJ)
- Bruno Lopes (IC-UFF)
- Edward Hermann Haeusler (PUC-Rio)
- Manuel A. Martins (Un. Aveiro - PT)

Data/hora/local:
- 13/07/2023 às 09:00
- Sala virtual (Google Meet):  meet.google.com/rxn-ynhc-xeb
Todos são muito bem vindos.

Mario Benevides

--

Instituto de Computação

Universidade Federal Fluminense