Simão Melo de Sousa

Simão Melo de Sousa is an expert in security and reliability of computer systems. In particular. He publishes and is actively developing research on the fundamentals and the design of techniques and tools for the security and formal verification of software. He is a co-author of the book "Rigorous software development - An introduction to program verification" published in 2011 by Springer-Verlag. He received his PhD from INRIA Sofia Antipolis / University of Nice Sofia Antipolis with a thesis on the theme "Tools and techniques for the formal verification of the JavaCard platform" and obtained his Habilitation by the University of Beira Interior in 2015. He is a Full Professor at the Electronics and Computer Science Department of the University of Algarve where he teaches courses in the area of programming (foundational concepts, algorithms and data structures and programming languages), software engineering, compilation, computing fundamentals, formal verification, security and cryptography. He is also a member of the NOVA-Lincs Research and coordinates the research activities of the RELEASE group (Reliable and Secure Computation Lab). He has scientifically coordinated several research projects (FCT, etc.) in the area of software reliability and critical systems, information security, testing and software quality (as-a-service), blockchain and smart contracts. He was also visiting researcher at INRIA Paris-Saclay in 2010 and 2017. He actively collaborates with several leading industrial partners, nationally and internationally, in its area of expertise, in particular in the area of critical systems, security, e-health, railway systems, avionics and aerospace. In this context, he has successfully participated in several technology transfer initiatives.