|Paulo Alexandre Carreira Mateus|
|E-mail: Send Email|
Research topics include the application of Formal Methods to the analysis of the security and soundness of several cryptographic and distributed protocols, aiming at the Cybersecurity challenge of IT. With the same goal, the Group works also on the development of new cryptographic protocols based on quantum information. Work is also directed to the application of Network Analysis to sports performance, including the development of the Ultimate Performance Analysis Tool to predict players and team performance as well as the networking processes. Finally, another area of research is the design, convergence analysis, implementation and testing of algorithms based on Integer Linear Programming and matheuristics for optimization problems, such as the Eigenvalue Complementary Problems, in cooperation with other Groups of IT.