جست‌وجوی استاد و پژوهشگر

• Artificial Intelligence
• Distributed Computing
• Energy Communities
• +۳ مورد دیگر

Rafael Duarte Pereira da Silva is a Research Fellow at the Research Group on Engineering and Intelligent Computing for Innovation and Development (GECAD) within the School of Engineering of the Polytechnic Institute of Porto. He is currently pursuing his doctoral degree in Artificial Intelligence and Intelligent Systems Engineering while developing AI-driven solutions for energy communities and smart buildings. His academic background includes: Master's degree in Artificial Intelligence Engineering (2025) from the Polytechnic Institute of Porto, with a dissertation on "Distributed Intelligent Management of Citizen Communities" (grade: 19/20). Bachelor's degree in Computer Engineering (2022) from the Polytechnic Institute of Porto, featuring a green computing project for smart building energy management. Currently enrolled in a doctoral program in Artificial Intelligence and Intelligent Systems Engineering (since 2025). Rafael's research spans Artificial Intelligence, Distributed Computing, and Energy Communities, focusing on human-centric intelligent systems for resource optimization. He develops virtual energy communities using IoT devices and AI models to enable dynamic interaction with community members while managing distributed resources. His work emphasizes sustainability through green computing principles and integration of renewable energy sources in smart infrastructure. His 2024-2025 publications reveal a cohesive research trajectory centered on the Caravels framework for decentralized energy management. Key themes include container-based infrastructure for community resource sharing, peer-to-peer energy trading with storage optimization, and AI-driven demand response systems. His work bridges theoretical AI models with practical IoT implementations, particularly in energy forecasting and HVAC control, demonstrating significant contributions to sustainable consumption in smart buildings and community-scale energy systems. Advising Co-supervised three undergraduate thesis projects at the Polytechnic Institute of Porto on IoT notification systems, Linux-based single-board computer configuration, and open-source IoT devices for smart buildings. Grants and Projects Sa4CPS: Secure situational awareness for critical cyber-physical systems (COMPETE2030-FEDER and ITEA) NGS: New Generation Storage (PRR initiative) TIoCPS: Trustworthy and Smart Communities of Cyber-Physical Systems (P2020 and ITEA programs) As an active GECAD member, Rafael contributes to server infrastructure management and organizes scientific events, including public demonstrations that secured the group's "Excellent" FCT evaluation rating. He has coordinated annual team energizing events for two consecutive years and participated in developing virtual energy community systems that showcase GECAD's research impact in distributed computing and IoT integration.

• Cloud Computing
• Distributed Systems
• Data Processing
• +۴ مورد دیگر

Luis Antunes Veiga is an Associate Professor and Senior Researcher at INESC-ID Lisbon, affiliated with the Distributed Systems Group and the Computing Systems and Communication Networks Laboratory. His research focuses on Cloud Computing, Edge Computing, Distributed Systems, and Big Data processing. He teaches courses such as 'Cloud Computing and Virtualization' and 'Operating Systems, Virtualization and Cloud Computing.' His work emphasizes scalable systems, network-aware workflows, and resource-efficient data processing. Research Interests: His primary areas include distributed systems architectures, edge computing frameworks, graph processing algorithms, and software-defined systems. He explores topics like latency-aware network design, resource auction mechanisms for edge environments, and interoperable service workflows. His contributions span theoretical frameworks and practical implementations, such as the RATEE system for edge resource trading and the VeilGraph incremental graph processing framework. Publications: His recent work addresses challenges in distributed systems, such as elastic scaling of stream processing, efficient graph processing in Spark, and latency optimization in internet-scale workflows. These publications reflect a trend toward integrating software-defined approaches with edge and cloud infrastructures. Notable Awards: Best Young Researcher INESC-ID, Excellence in Teaching (IST 2012), and a Best-Paper Award at ACM/IFIP/Usenix Middleware 2007. Labs & Teams: Active in the Computing Systems and Communication Networks Laboratory, leading projects on edge computing and distributed systems.

• Process Science
• Process Mining
• Software Development Process Mining
• +۷ مورد دیگر

João Caldeira is an Associate Researcher at ISTAR-Iscte (Research Center in Information Sciences, Technologies and Architecture), where he focuses on Process Science , Process Mining , and Software Development Analytics . He holds a PhD in Information Science and Technology from ISCTE - University Institute of Lisbon, a Master's in Computer Engineering from Universidade Nova de Lisboa, and a Bachelor's in the same field from the same institution. João is a Visiting Assistant Professor at ISCTE, teaching process modeling and software development topics, and a Professor at IPAM/Univ. Europeia, where he lectures on Blockchain and Digital Payments. Research Interests : João's work bridges Big Data , Machine Learning , and Process Mining to enhance software development practices. His research includes Augmented Business Process Management and Software Systems Engineering , with a focus on extracting process insights from refactoring and team efficiency. Publications & Projects : João has contributed to journals like Computer Standards and Interfaces and Archives of Computational Methods in Engineering . His project DataScience4NP explores visual programming paradigms for non-programmers in Data Science, proposing parameterized workflow templates for increased reuse. Academic Roles & Mentorship : He has guided multiple Master's dissertations at ISCTE, including topics like BPM with adaptive SLA and Process Mining for vaccine distribution . João serves as an official reviewer for journals such as Journal of Systems and Software and IEEE Access .

• Cybersecurity
• Information Security
• Privacy
• +۷ مورد دیگر

Nuno Ricardo Mateus Coelho is an Associate Professor at Universidade Lusófona and a Guest Adjunct Professor of Cybersecurity at Instituto Politécnico do Cavado e Ave. He serves as a Cyber Security Adviser for FORVIA and Nanium Grupo Amkor, CEO of NRMC.PT, Judicial Expert for the Ministry of Justice, and CISO & DPO for several national organizations. He holds a PhD in Informatics (Cybersecurity) from the University of Trás-os-Montes e Alto Douro and is a Senior Engineer accredited by the Ordem dos Engenheiros and the European Commission. His research focuses on cybersecurity, privacy, secure operating systems, blockchain, AI in security, and digital forensics . He leads the LAPI2S - Laboratory of Privacy and Information Systems Security and is the Editor-in-Chief of the ARIS2-Journal . He is the General Chair of the iSCSi International Conference and has authored numerous scientific publications, books, and book chapters. The recent publications highlight a strong trend in secure system design, threat resilience, AI applications, and privacy-preserving technologies . His work spans from paranoid operating systems and blockchain applications to social engineering defense and AI-driven risk assessment, reflecting a multidisciplinary and applied approach to cybersecurity challenges. Inncyber Innovation Award - Best European Research in Cybersecurity (2021) Inncyber Innovation Award - 2nd Place (2023) Editor-in-Chief of ARIS2-Journal General Chair of iSCSi International Conference Specialist Accredited by the European Commission in Information and Cybersecurity Projects Senior Engineer and Specialist at the Ordem dos Engenheiros Nuno Mateus-Coelho advises on national cybersecurity strategy and has been instrumental in innovation through projects like Vent2Life , which repaired hospital ventilators during the pandemic, saving hundreds of lives. He has received research recognition and industry grants through his cybersecurity advisory roles and academic leadership. His work bridges academia, government, and industry, with strong emphasis on practical impact. He leads the LAPI2S Laboratory and organizes the iSCSi Conference , fostering collaboration between researchers, industry experts, and policymakers in cybersecurity and information systems. His teams focus on developing secure, privacy-aware technologies for real-world deployment in healthcare, education, and critical infrastructure.

• Verification of Secure Systems
• Software Security
• Web Security
• +۵ مورد دیگر

Pedro Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of the Instituto Superior Técnico (IST) , University of Lisbon . He is affiliated with the SQIG - Security and Quantum Information Group at the Institute of Telecommunications , formerly part of CLC - Logic and Computation Centre . His work bridges formal methods and computational cryptography , focusing on security protocols , software security , and quantum information security . PhD in Mathematics (2006, IST) with thesis "Formal Methods for the Analysis of Security Protocols" Graduated in Applied Mathematics and Computation (2002, IST) with thesis "Electronic Money" His research interests include verification of secure systems, composition of secure systems, mathematical foundations of cryptography, and physical/day-life security. His publications span topics like firewall configuration tools , smart contract verification , quantitative protocol analysis , and computationally sound symbolic cryptography . He has collaborated with institutions such as the University of Pennsylvania, Microsoft Research Cambridge, and INRIA-Microsoft Research Paris. Key teaching contributions include courses in Introduction to Algorithms and Data Structures , Computational Models in Security , and Software Security . He is a member of the SQIG research group and has organized the SQIG Information Security Seminar . Past teaching roles include lecturing at the Catholic University of Portugal and the Air Force Academy.

• Modelling and Requirements Engineering
• Systems Architecture
• Process and Project Management
• +۵ مورد دیگر

Ricardo J. Machado is a Full Professor of Information Systems Engineering at the University of Minho, where he founded this disciplinary area. He currently serves as President of the CCG/ZGDV Institute and has held strategic roles including Vice-Rector of UMinho. He is a member of the Board of GraphicsVision.AI, the leading academic network in Europe in computer graphics and vision. DEng in Electrical and Computer Engineering (U.Porto) MSc and PhD in Computer Science and Engineering Dr. Habil in Information Systems Engineering (UMinho) Certified Software Product Manager (ISPMA) Cybersecurity and Crisis Management programme from Portuguese National Defence Institute Professor Machado's research focuses on modeling and requirements engineering, systems architecture, process and project management, information semantics, ontologies, and cognitive computing. He has developed several methods and tools including the 4SRS method and the shobi-PN meta-model for requirements analysis, software architecture, ontology computation, and project portfolio management. His work bridges theoretical frameworks with practical industrial applications across various sectors. His recent publications demonstrate a strong trend toward digital transformation across multiple domains including smart cities, healthcare systems, industry 4.0, and higher education. The research shows increasing integration of semantic interoperability, logical architecture design, and data management frameworks. His work consistently addresses the challenges of aligning business processes with technical implementations while focusing on practical applications in real-world settings. IEEE MGA Achievement Award APLOG Excellence Award TAA Textbook Award nomination by Springer Professor Machado has supervised nearly one hundred PhD and MSc students, many of whom now hold leadership roles in academia and industry. He has led over 50 R&I projects funded by FCT, ANI, IAPMEI, and the European Union, partnering with institutions including Carnegie Mellon University, MIT, Fraunhofer, and Bosch. His project portfolio spans requirements engineering, systems architecture, and digital transformation initiatives across multiple sectors including healthcare, manufacturing, and smart cities. He founded the SEMAG research group at ALGORITMI and the EPMQ department on Software Engineering and Intelligent Data at CCG/ZGDV. As Director of the ALGORITMI Research Centre, he coordinated UMinho's participation in strategic initiatives such as CEDT, CMU | Portugal, EIT Digital, EUHubs4Data, and Gaia-X Portugal. He also co-founded DTx and ProChild CoLabs, and TICE.pt and CSCP Clusters.

Marko Bekoمشاهده پروفایل

پژوهشگر

• Computer Science
• Wireless Sensor Networks
• Localization
• +۳ مورد دیگر

Marko Beko is a researcher affiliated with Lusofona University in Lisbon, Portugal. He is actively involved in projects related to wireless sensor networks, localization algorithms, and machine learning applications in telecommunications. His work spans areas such as GNSS-denied navigation, federated learning, and IoT network optimization. Research Interests Localization in wireless networks Machine learning for IoT UAV navigation systems Signal processing and network optimization Stochastic geometry in massive IoT Energy-efficient communication protocols Recent publications focus on deep learning methods for unmanned aerial vehicle (UAV) navigation, linear precoding for MIMO systems, and federated learning in rural environmental monitoring. His work demonstrates strong interdisciplinary connections between computer science, telecommunications, and aerospace engineering.

• Ambient Intelligence
• Decision Support Systems
• Intelligent Systems
• +۵ مورد دیگر

Ana Maria Neves de Almeida Baptista Figueiredo is a Coordinator Professor and academic leader at the Institute of Engineering of Polytechnic of Porto (ISEP/IPP). She currently serves as President of the ISEP Scientific Council (since 2018), Sub-Director of post-graduation programmes in Big Data & Decision Making and Industry 4.0, and holds numerous leadership roles in accreditation processes including A3ES, EUR-ACE, and ABET. She is a Senior Researcher at GECAD (Research Group on Intelligent Engineering and Computing for Advanced Innovation and Development) and member of LASI (Associated Laboratory of Intelligent Systems). Education: PhD in Industrial and Systems Engineering (2003) from University of Minho MSc in Electronic and Computer Engineering - Specialization in Industrial Informatics (1996) from University of Porto BSc in Industrial Informatics (1993) from Polytechnic Institute of Oporto - Institute of Engineering BSc in Electronic Engineering (1990) from Polytechnic Institute of Oporto - Institute of Engineering Professor Figueiredo specializes in Ambient Intelligence, Decision Support Systems, and Intelligent Systems with applications spanning multiple domains. Her research combines artificial intelligence, big data analytics, and user-centered design to develop innovative solutions. She has particular expertise in creating personalized systems that adapt to user needs and contexts, with strong emphasis on practical applications in real-world settings. Her publication record reveals consistent research activity across three main application domains: tourism technology (personalized recommendation systems, smart travel planning), Industry 4.0 (intelligent manufacturing, production scheduling), and healthcare (respiratory monitoring, medical diagnostics). The research demonstrates a clear trajectory from foundational work in scheduling algorithms to increasingly sophisticated intelligent systems incorporating machine learning, sensor networks, and emotional computing. Awards and Recognition: 2017 Award of merit for scientific publication in TELEMATICA AND INFORMATICS journal 2017 Prémio SPAIC – AstraZeneca for FRASIS respiratory monitoring project 2013 PIPED honorable mention for Android e-learning platform 2012 1st place in POLIEMPREENDE entrepreneurship competition with NearTour project 1995 Best student award in Industrial Informatics Engineering Professor Figueiredo has supervised 3 completed PhD theses with 1 ongoing, and more than thirty MSc dissertations. She has participated as Principal or Co-Principal Investigator in 6 projects and as Researcher in more than 20 projects, securing funding from FCT and other agencies. Her work has been supported by significant grants including TheRoute, GROUPLANNER, Smartravel, ATT, InVALUE, INVALUE_PT, NIS, PIANISM, Cyberfactory, SECOIIA, and produtech_R3. She leads research activities within GECAD and LASI, collaborating with international teams from Spain, Canada, USA, Czech Republic, Turkey, and Italy. Her work bridges academic research with practical applications through partnerships with business organizations, public entities, and professional associations across multiple sectors.

• Energy Resource Management
• Smart Grids
• Electric Vehicles
• +۶ مورد دیگر

João André Pinto Soares is a Senior Researcher at the Knowledge Engineering and Decision Support Research Group (GECAD) at the Polytechnic Institute of Porto's School of Engineering. He earned his PhD in Electrical and Computer Engineering from UTAD in 2017 and has since secured significant funding through FCT projects, including CENERGETIC as Principal Investigator and BENEFICE as co-PI. Principal Investigator for CENERGETIC project on energy resource management Co-PI for BENEFICE project on smart building optimization Visiting Professor at Centrale Lille since 2019 Co-coordinator of SAtCOMM project for sustainable Atlantic energy communities Dr. Soares has established international collaborations with institutions including Sao Paulo State University (UNESP), Honda Research Institute Europe, and Centrale Lille. His research focuses on energy resource management in smart grids, with particular emphasis on local energy markets and electric vehicles. He has successfully managed a team of 10 researchers over the last 5 years and supervised numerous students at various academic levels. His publication record includes over 200 scientific articles, with 75 in international journals, garnering more than 5500 citations and an h-index of 40. His most recent work demonstrates strong trends in applying advanced optimization techniques, machine learning, and metaheuristics to energy resource management problems, particularly focusing on uncertainty modeling, electric vehicle integration, and local energy markets. Chair of IEEE ISATC Task Force on Computational Intelligence for the Energy Domain Secretary of the IEEE PES Intelligent Systems Subcommittee Launched 16 special issue editions as co-editor in JCR journals Reviewed over 400 scientific papers Dr. Soares has supervised 9 PhD students (7 ongoing), 23 MSc students, and 23 BSc students. His research has been supported by 28 national/international projects (10 as PI, 2 as Co-PI, and 17 as researcher), including Horizon/H2020 projects. He has also been instrumental in organizing over 30 scientific events and has delivered more than 30 invited talks at international conferences.

Diogo Poçasمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Applied Computer Science
• Session Types
• +۵ مورد دیگر

Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.

David R. Matosمشاهده پروفایل

استادیار

• Distributed Systems
• Cybersecurity
• Cloud Computing
• +۲ مورد دیگر

David R. Matos is an Assistant Professor at the College of Engineering, University of Lisbon, and a researcher at the Distributed, Parallel and Secure Systems Group (DPSS) of INESC-ID. He is also a member of the BIG ERA Chair Team. His primary research interests include distributed systems, cybersecurity, and cloud computing, with a specific focus on intrusion recovery mechanisms for cloud environments and microservice architectures. Education: BSc in Informatics Engineering, University of Lisbon MSc in Informatics Engineering, University of Lisbon PhD in Computer Sciences and Engineering, Instituto Superior Técnico His research applies machine learning techniques to associate application requests with database statements, enabling identification and reversal of malicious operations. Key themes include decentralized storage, blockchain recovery, secure communication protocols, and pluggable intrusion recovery systems. David has contributed to projects such as PATI, SITAN, SafeCloud, SEAL, and the BIG ERA Chair. He developed the Rectify system for intrusion recovery in PaaS clouds, which is deployable alongside applications without software modifications.

• Computer Security
• Blockchain Technology
• GNSS Data Processing
• +۱ مورد دیگر

Paul Andrew Crocker is Assistant Professor at the University of Beira Interior's Faculty of Engineering, where he researches computer security, blockchain technology, and high-performance computing applications. He teaches courses on distributed systems, operating systems, and information security. Crocker leads projects involving GNSS data processing for the European Plate Observing System and develops privacy-preserving blockchain solutions. He has supervised multiple graduate students in computer security and machine learning applications for geophysical data analysis.

Pedro Henriquesمشاهده پروفایل

استاد

• Programming Languages
• Compiler Design
• Software Analysis
• +۲ مورد دیگر

Pedro Henriques is Professor of Computer Science at University of Minho, where he coordinates the Language Processing group at Algoritmi Research Center. With a PhD in Formal Languages and Attribute Grammars, he teaches compiler design and programming language engineering. His research develops: Formal methods for software analysis Educational tools for programming pedagogy Ontology-driven computational thinking frameworks AI applications in agriculture and healthcare Recent work includes neuroeducation-informed frameworks (OntoCnE) and Programming Cocktails methodology for optimizing cognitive load in code instruction. He has supervised 14 PhD dissertations and authored the foundational text "XML & XSL: da teoria a prática". Current EU projects explore VR cognitive rehabilitation and olive cultivar identification using deep learning.

Filipe Alvesمشاهده پروفایل

پژوهشگر

• Industrial Engineering
• Systems Engineering
• Scheduling Systems
• +۵ مورد دیگر

Filipe Alves serves as a Researcher at Polytechnic Institute of Bragança and pursues a PhD in Industrial and Systems Engineering at University of Minho, with continuous research activity since 2017. His work bridges theoretical optimization frameworks and practical industrial applications through DTx - Digital Transformation CoLAB, a national R&D consortium focused on digital innovation. His academic foundation includes: Bachelor's in Biomedical Engineering (Polytechnic Institute of Bragança) Master's in Biomedical Technology (Polytechnic Institute of Bragança) Specializing in scheduling systems and metaheuristic algorithms , his research creates decision support tools for industrial automation and healthcare logistics . Key contributions address nurse scheduling, home healthcare routing, and virtual power plant optimization using MILP solvers and multi-agent architectures. His methodology integrates mathematical modeling with real-world constraints like time windows, resource capacities, and dynamic environments. Publication analysis reveals three dominant trajectories: (1) Healthcare logistics optimization (40% of recent work), featuring nurse/home care scheduling solutions; (2) Energy systems management (30%), particularly virtual power plant coordination; (3) Public health applications (20%), including pandemic impact studies and waste management. This evolution demonstrates increasing interdisciplinary reach while maintaining core optimization expertise. As an active DTx CoLAB member, he collaborates on digital transformation projects connecting academic research with industrial implementation. His current PhD research extends these efforts into industrial systems engineering frameworks for complex scheduling challenges.

Anis Koubâaمشاهده پروفایل

استاد

• Real-Time Systems
• Quality of Service (QoS)
• Wireless Sensor Networks
• +۴ مورد دیگر

Anis Koubâa is a Professor at the Department of Electrical Engineering and Computers, Instituto Superior de Engenharia do Porto (ISEP), part of the Polytechnic Institute of Porto (IPP). He is a core member of the CISTER Research Centre, focusing on real-time systems, quality of service, wireless sensor networks, and cyber-physical systems. He holds a PhD in Computer Science from the National Polytechnic Institute (INPL, France), a Master’s from University of Nancy I, and a Telecommunications Engineering degree from Sup’Com Tunisia. His postdoctoral research at CISTER (2005–present) concentrated on real-time aspects of wireless sensor networks. Research interests span cooperative autonomous driving, drone networks, edge computing, and secure communication protocols. He has published extensively on topics like vehicular platooning, real-time QoS monitoring, and cloud-edge architectures for AI applications. His work integrates robotics (ROS frameworks), network protocols (IEEE 802.15.4e), and safety-critical systems. Over 100 papers in journals/conferences and co-authored books on ROS and cyber-physical systems demonstrate his leadership in these areas. Current projects include COPADRIVe (cooperative driving simulation), COPA-Drive (platooning validation), and secure architectures for autonomous systems. He leads the RIOTU-Lab for IoT and robotics research, emphasizing practical applications in disaster management, UAV coordination, and smart city infrastructure.