معرفی
Simão Melo de Sousa is an Associate Professor at the Computer Science Department of the Engineering Faculty at the University of Beira Interior (UBI), where he leads the RELEASE (RELiablE And SEcure Computation) research group under Nova-Lincs. He holds a Habilitation (Agregação) in Computer Science from UBI, a PhD from Nice-Sophia Antipolis University (France), and advanced degrees from Orléans University (France).
- Research Focus: Formal methods, software reliability/security, blockchain, computational logic, programming language design, deductive verification
- Teaching: Courses: Proof and Programming Theory, Certified Programming, Formal Methods, Functional Programming
Projects include GreenStamp, HORUS, and COPES (PI roles), alongside contributions to LEAF, FRESCO, and European COST Networks. His work bridges theory and practice through co-developed tools like Why3, ARMY, and LISSOM, targeting safety-critical systems (avionics, railways, medical) and cloud/ubiquitous security. He actively contributes to educational platforms like Learn-OCaml and co-authored books such as Rigorous Software Development (Springer, 2011).
Scientific Collaborations: Key partnerships with Tezos Foundation, OCaml Foundation, Nova-Lincs, and institutions including Critical Software, EFACEC, and INRIA. His publications span journals (Science of Computer Programming, Journal of Automated Reasoning) and conferences (LICS, ISoLA, ACISP).
