PFAI4_3ed

Américo Azevedo - [PhD], he is head of CESE Centre for Enterprise Systems Engineering and Cientific Director of FABTEC Laboratory of Processes and Technologies for Production Advanced Systems

He is an Associate Professor with Aggregation in the Department of Industrial Engineering and Management at Faculty of Engineering of University of Porto (FEUP). He has gained large experience in the academic, industrial and consultancy environments.

He teaches in the academic programmes of FEUP and PBS (Porto Business School) and in specific programmes such as EDAM (Engineering Design and Advanced Manufacturing) of the MIT-Portugal Program.

His research and teaching focuses on operations management, business processes management and enterprise collaborative networks. He has been active in supervising PhD and M.Sc research thesis on this research areas.

He has been author of many articles in international journals and technical publications and also active in preparing and participating in R&D projects involving industrial companies. He has been reviewer and evaluator of several international R&D Industrial projects and member of several scientific programmes committees.

Responsible for leading more than 45 company based national and international R&D and consulting projects in the domain of enterprise networks and industrial and operations management. He has been responsible in several consulting assignments with industrial companies, with special emphasis in operations and industrial management as well as in designing and developing new facilities, process optimization and development and implementation of decision support and planning tools for order management. Experience in several sectors/industries: machinery, semiconductors, ceramics, furniture, packaging, shoes and cork processing.

Germano Veiga is a Mechanical Engineer with a PhD in Mechanical Engineering (Robotics and Automation) (2010) by the University of Coimbra. In 2005 he was an invited researcher at the University of Lund, Sweden, and was a researcher (2002-2011) and Invited Professor (2007-2011) at the University of Coimbra.He is now Senior Researcher at INESC TEC, in Porto, and from 2016 is Auxiliar Professor at the Faculty of Engineering of the University of Porto.His research interests are mostly focused on future industrial robotics including, plug-and-produce technologies, robot programming, mobile manipulators and Human Robot Interfacing. During his PhD studies Germano was part of the FP6 SMErobot team (2005-2009) and later became member of the Exec. Committee of the FP7 ECHORD project (2009-2012)More recently Germano became the coordinator of the INESC-TEC team participating in the projects FP7-CARLoS, FP7-STAMINA, FP7-SMErobotics, H2020-ColRobot.Since January 2017 he is the Coordinator of the H2020 ScalABLE4.0 project.

I am an Associate Professor at the Department of Computer Science in the Faculty of Science of the University of Porto (DCC-FCUP) and a researcher at HASLab/INESC TEC. My research interests lie in Cryptography and Information Security and its intersection with Program Verification.

I hold a Ph.D. in Electrical and Electronic Engineering from the Newcastle University, an M.Sc. from the same University, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. In the past I have been a visiting researcher at the University of Bristol, IT Porto and École Normale Supérieure. Between 2023 and 2025 I was a research fellow at the Max Planck Institute for Security and Privacy.

I have been working on the development of high-assurance cryptographic implementations for the last 20 years, aiming to bridge the gap between theoretical security and real-world security. I am particularly interested in provable security and its interplay with the formal verification of cryptographic proofs and cryptographic software implementations.

For information on my research, projects and publications, please see my page at HASLab.

For information on my teaching activities, please see my institutional page at FCUP.

I am an associate professor at the Department of Computer Science of the Faculty of Science of the University of Porto and the coordinator of LIAAD , the Artificial Intelligence and Decision Support Lab of UP. LIAAD is a unit of INESC TEC (Laboratório Associado) since 2007. I am a PhD in Computer Science by U. Porto, MSc. on Foundations of Advanced Information Technology by the Imperial Collegeand BSc. in Applied Maths and Computer Science, currently Computer Science (U. Porto). My research interests are Data Mining and Machine Learning, in particular association rules, web and text intelligence and data mining for decision support. My past research also includes Inductive Logic Programming and Collaborative Data Mining. I lecture courses related to programming, information processing, data mining, and other areas of computing. While at the Faculty of Economics, where I stayed from 1996 to 2009, I launched, with other colleagues, the MSc. on Data Analysis and Decisison Support Systems, which I coordinated from 2000 to April 2008. I lead research projects on data mining and web intelligence. I was the director of the Masters in Computer Science at DCC-FCUP from June 2010 to August 2013. I co-chaired international conferences (ECML/PKD 2015, Discovery Science 2009, ECML/PKDD 05 and EPIA 01), workshops and seminars in data mining and artificial intelligence. I was Vice-President of APPIA the Portuguese Association for Artificial Intelligence.

António Coelho is a senior researcher at INESC TEC and coordinates the Computer Graphics and Virtual environments area of the HUMANISE.

He is actively involved in several research projects (from H2020 European projects to I&DT projects with the industry) and PhD supervisions, focused in the areas of Computer Graphics (Virtual Reality and Procedural Modeling), Serious Games (Procedural Content Generation, Mobile Gaming and Games-based Learning) and Geospatial Systems (Location-based Systems and Spatial Databases). 

He is also Associate Professor with Habilitation at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto where he teaches in the areas of Computer Graphics, Programming and Digital Games. He is the director of the Doctoral Program in Digital Media at the University of Porto and academic leader of the European University Alliance for Global Health (EUGLOH).