جستجوی استاد راهنمای دانشگاهی

Francisco Almeida Maiaمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Cloud Computing
• Large Scale Data Management
• +۳ مورد دیگر

Francisco Almeida Maia is a Senior Researcher at HASLab (High Assurance Lab) affiliated with the University of Minho and INESC TEC. His research focuses on distributed systems, cloud computing, large-scale data management, and gossip-based protocols. He holds a Ph.D. in Computer Science from the MAP-i Doctoral Program (Universities of Minho, Aveiro, and Porto, 2015), advised by Professor Rui Oliveira. His doctoral work introduced DataFlasks, a scalable and resilient data store for large-scale systems using gossip protocols. Current research explores enhancing DataFlasks’ guarantees while maintaining scalability. Education: Ph.D. in Computer Science, MAP-i Doctoral Program (2015) Research Interests: Distributed systems security, privacy-aware cloud storage, scalable data architectures, and fault-tolerant protocols. Recent work emphasizes secure multi-cloud databases and distributed system testing frameworks. Publications: Focus on scalable systems, privacy in distributed environments, and testing methodologies. Notable contributions include d'Artagnan (secure NoSQL on untrusted clouds) and Minha (large-scale distributed testing). Advising & Grants: Supervised two theses at INESC TEC. Active in collaborative projects on distributed systems and security. Labs/Teams: Core member of HASLab, contributing to interdisciplinary research on high-assurance software and distributed computing.

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.

Miguel Monteiroمشاهده پروفایل

استادیار

• Software Engineering
• Software Modularity
• Aspect-Oriented Software Development
• +۲ مورد دیگر

Miguel Monteiro is an Assistant Professor at the Department of Informatics (DI) within the Faculty of Sciences and Technology (FCT) at New University of Lisbon (UNL) since 2006. He is affiliated with the research groups NOVA-LINCS (formerly CITI) and QUASAR . Research Interests: His work focuses on Software Engineering , particularly in Software Modularity , Aspect-Oriented Software Development (AOSD), and Program Reengineering and Evolution . He has extensively studied modularity challenges in MATLAB systems and developed techniques for aspect-oriented refactoring. Notable Projects: Funded by Portuguese Science and Technology Foundation (FCT) and international bodies, his projects include: GasPar (2010-2013): General-purpose AOSD framework for heterogeneous multicore parallel systems. AMADEUS (2007-2010): Aspect-oriented optimizations for MATLAB development. PRIA (2009-2011): International collaboration with University of Texas at Austin on parallel programming. PPC-VM (2004-2007): Portable parallel computing via virtual machines. SOFTAS (2005-2008): Aspect-oriented software development research. Academic Contributions: His research spans aspect-oriented refactoring, code smells, software visualization, and domain-specific languages. He has published in journals like Journal of Computer Languages , Expert Systems , and Scientometrics , and presented at conferences including AOSD, ICEIS, and ITNG.

Fábio André Coelhoمشاهده پروفایل

پژوهشگر

• Cloud Computing
• Distributed Systems
• Edge and Fog Databases
• +۵ مورد دیگر

Fábio André Coelho is a Senior Researcher at HASLab, a research unit within INESC TEC, since January 2014. He holds a PhD in Computer Science from the universities of Minho, Aveiro, and Porto (Portugal) through the MAP-i Doctoral Programme. Research Focus: His work spans cloud HTAP databases, distributed systems, P2P/ledger systems, and benchmarking. Recent efforts include advancing data center sustainability via hybrid cooling solutions and exploring adaptive transactional consistency for georeplicated databases. He also investigates edge/fog databases and energy grid flexibility platforms. Projects & Collaborations: Participated in national/EU projects (CoherentPaaS, LeanBigData, CloudDBAppliance). Currently collaborates with INESC TEC's Power and Energy Centre on ICT solutions for distributed communication and energy systems. Publications: Active contributor to top-tier conferences (SRDS, DAIS, ICPE) and journals like IEEE Transactions on Cloud Computing and ACM Computing Surveys. Recent work includes studies on cooling optimization and georeplicated database consistency models. Advising: Supervised theses on topics like edge time series benchmarks, distributed IoT data management, and Hyperledger Fabric permissions.

Paulo Sérgio Almeidaمشاهده پروفایل

استادیار

• Distributed Systems
• Conflict-free Replicated Data Types (CRDTs)
• Fault-tolerant Systems
• +۳ مورد دیگر

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab / INESC TEC since November 2011. He holds a PhD in Computer Science from Imperial College London (1998) and an MSc from University of Porto (1994). Research Interests Distributed Systems Causality Tracking Mechanisms Conflict-free Replicated Data Types (CRDTs) Eventually Consistent Databases Network Protocols Fault-tolerant Algorithms His recent publications focus on Byzantine fault tolerance, consistency models, and network protocols. Notable works include the Blocklace universal CRDT framework and the Exon protocol for oblivious exactly-once messaging. Advising: Ziad Ali Kassam – thesis on Exactly-once Exchanges (2021–2023) Ricardo Oliveira Vaz – thesis on Blockchain-based Payment Systems (2022) Labs/Teams: Associate researcher at HASLab / INESC TEC, contributing to distributed systems research.

• Visual Analytics
• Big Data
• Software Engineering
• +۷ مورد دیگر

Adriano Lopes is an Invited Assistant Professor at Iscte - Instituto Universitário de Lisboa, affiliated with the Department of Information Science and Technology within the School of Technologies and Architecture. He is also an Associate Researcher at ISTAR-IUL, the university's research center in Information Sciences, Technologies, and Architecture. His academic work spans software systems engineering, visual analytics, and big data technologies. PhD in Computer Science – University of Leeds, UK (1999) Master’s in Computer Science – University of Coimbra (1993) Bachelor’s in Electrical Engineering (Computer Science branch) – University of Coimbra (1986) Postgraduate studies in Financial Analysis – Technical University of Lisbon, ISEG (2013) Adriano Lopes’ research focuses on visual analytics, big data, software engineering, and computer graphics, with a strong emphasis on data visualization and its applications in domains such as smart tourism and urban planning. His work integrates human-centric design with advanced computational techniques to support decision-making in complex systems. His recent publications highlight a shift toward applied research in digital transformation for sustainable tourism, particularly through spatiotemporal visualization of tourism crowding and carrying capacity modeling. These works demonstrate a consistent trend in leveraging data-driven platforms for real-world societal challenges, especially in the context of post-pandemic recovery and sustainable development. Adriano has supervised numerous Master’s students at both Iscte and Universidade Nova de Lisboa, with thesis topics covering sentiment analysis, GPU-based rendering, anomaly detection, and tourism flow forecasting. He has participated in EU-funded research projects such as RESETTING, which aims to relaunch sustainable tourism models through digitalization. His academic service includes organizing roles in major visualization conferences like EUROVIS 2006 and the Eurographics UK Conference. He has been actively involved in research labs and teams including ISTAR-IUL and CITI (research center at FCT/UNL), contributing to interdisciplinary projects that bridge computer science with architecture, telecommunications, and tourism. His work reflects a strong commitment to collaborative, applied research with societal impact.

• Computer Science
• Software Engineering
• Microservices Architecture
• +۳ مورد دیگر

António Rito Silva is an Associate Professor at the Department of Computer Engineering , College of Engineering , University of Lisbon. He is affiliated with the INESC-ID Software Engineering Group and actively contributes to research in microservices architecture, software migration, and digital humanities. His research focuses on: Microservices system design and monolith-to-microservices migration Transactional causal consistency models Collaborative software development and digital humanities Business process management and blended workflow systems Recent work includes publications on performance evaluation in microservice architectures (2025), simulation frameworks for consistency models (2025), and tools like the Mono2Micro decomposer. He contributes to software systems such as Quizzes Tutor , LdoD Archive , and FénixEdu .

Carlos Manuel Ribeiro Almeidaمشاهده پروفایل

استادیار

• Real-Time Systems
• Embedded Systems
• QoS Adaptability
• +۳ مورد دیگر

Carlos Manuel Ribeiro Almeida is an Assistant Professor at the Department of Electrical and Computer Engineering, Instituto Superior Técnico, Universidade de Lisboa. He has been affiliated with the GEMS (Group of Embedded networked Systems and Heterogeneous Networks) research group since 2009 and the Instituto de Telecomunicações (IT) since 2013. His academic journey includes a BSc (1984), MSc (1989), and PhD (1998) in Electrical and Computer Engineering from IST. He has held visiting positions at Cornell University (1991–1993) and Chorus Systems (1990–1991). Research Interests : Real-Time and Embedded Systems, QoS Adaptability, Fault-Tolerance, Sensor Networks, and Networked Embedded Systems. His work focuses on dynamic environments where systems must adapt to maintain timeliness and dependability. Teaching includes courses on Systems Programming, Real-Time and Embedded Systems, and Networked Embedded Systems. His publications span over 30 years, emphasizing real-time scheduling, fault-tolerant protocols, and embedded system optimization. Notable projects include CANELy (a dependable communication protocol) and VITRAL (a real-time kernel interface). Labs/Teams : GEMS (Taguspark campus) and the Networks and Multimedia group at IT. His work integrates hardware-software co-design for resource-constrained systems.

José Manuel Torresمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Multimedia Systems
• Computer Science
• +۴ مورد دیگر

José Manuel Torres is an Associate Professor at the Faculty of Science and Technology of Fernando Pessoa University , where he has been teaching since at least 1997. He holds a PhD in Computer Science from Lancaster University (2005) and a MSc in Electrical and Computer Engineering (1997). His research focuses on Visual Information Retrieval , Multimedia Systems , and Database Modeling . PhD Thesis: "Visual Information Retrieval through Interactive Multimedia Queries" (Lancaster University, 2005) Current Research: Investigator at ISUS and LIACC research centers Email: jtorres@ufp.edu.pt Research interests span multiple domains including: Artificial Intelligence applications in multimedia Multimodal Interfaces for information retrieval Object-Oriented Database Systems modeling Computational Semiotics in digital systems MPEG-7 Standard contributions for multimedia description Visual Query Systems with region-based feedback His scholarly work shows trends in: Interactive multimedia query systems Electromagnetic teaching methodologies Database architecture comparisons Information preservation standards Adaptive interface design Visual search algorithms Teaching portfolio includes: PhD-level Artificial Intelligence courses Undergraduate Algorithms and Data Structures sequences Master's Computer Vision instruction Comprehensive Electromagnetism course development

• Plasma Physics
• Nuclear Fusion
• Real-time Control Systems
• +۳ مورد دیگر

Bernardo Brotas de Carvalho is an Assistant Professor in the Department of Physics at Instituto Superior Técnico, Universidade de Lisboa, affiliated with the Institute of Plasmas and Nuclear Fusion. He earned his PhD from IST in 2003. His research specializes in fusion plasma diagnostics, real-time control systems, and high-performance hardware/software development for CODAC (Control, Data Access, and Communication) systems in nuclear fusion experiments. Carvalho teaches courses in Electromagnetism, Experimental Physics Laboratory, and Physics with Laboratory. His work involves developing advanced diagnostic and control platforms for tokamaks including ISTTOK and ITER.

José Eduardo Fernandesمشاهده پروفایل

استاد

• Software Engineering
• Business Process Modeling
• Pervasive Information Systems
• +۵ مورد دیگر

José Eduardo Fernandes is a Professor at the Technology and Management School of the Polytechnic Institute of Bragança , Portugal, since 1998. He leads the Master in Informatics program and specializes in software engineering, business process modeling, and secure systems development. Education : M.Sc. and Ph.D. in Information Systems from the University of Minho Research Focus : His work bridges software engineering (requirements, models, processes) with education-focused systems, pervasive computing, and cybersecurity. Recent publications highlight interdisciplinary approaches using formal methods like Petri Nets and AI-driven solutions for modular construction and educational platforms. Collaborations : Active in academic partnerships, co-authoring works with researchers such as Vidal L., Vinicius Belloli Dos Santos, and Paulo Alves, emphasizing practical applications of information systems.

Inês Barbedoمشاهده پروفایل

استادیار

• Active Learning Methodologies
• Co-Creation
• Innovation
• +۶ مورد دیگر

Inês Barbedo is an Assistant Professor at the School of Public Management, Communication and Tourism, Instituto Politécnico de Bragança, where she has taught since 1998. She specializes in active learning methodologies, co-creation, innovation, and game design. Her roles include coordinating Project Y and facilitating the DEMOLA Project, which involve multidisciplinary collaboration with external stakeholders. She also trains educators in co-creation processes through initiatives like the 'Training teachers and other education agents' project. Her research focuses on integrating innovative pedagogical approaches with technology, particularly in game design and gamification. Notable contributions include studies on interdisciplinary learning experiences and the impact of higher education institutions on regional development. She has published extensively on topics ranging from procedural content generation in games to co-creation’s socioeconomic value in rural areas. Inês holds a PhD in Mathematics and Applications, reflecting her academic background in quantitative disciplines. Her work bridges educational theory and practice, emphasizing collaborative and creative problem-solving.

José Luís de Azevedo Quintino Rogadoمشاهده پروفایل

دانشیار

• Digital Identity
• Identity Management
• Blockchain
• +۹ مورد دیگر

José Luís de Azevedo Quintino Rogado is an Associate Professor at the School of Communication, Arts, Architecture and Information Technologies (ECAATI/ULHT) of Universidade Lusófona in Lisbon, Portugal. He serves as Director of the Department of Computer Engineering and Information Systems and teaches in areas including Operating Systems, Computer Networks, Identity Management, and Parallel Computing. His educational background includes a degree in Electronic Engineering from Instituto Superior Técnico (Lisbon), a Doctorat d'Université in Information Systems from Université Pierre et Marie Curie (Paris VI), and a Ph.D. in Computer Engineering from Universidade Técnica de Lisboa. He has held research positions at INRIA (France) and the Open Software Research Institute, focusing on operating systems and system performance. His research lies at the intersection of computer science and social impact, particularly in Digital Identity , Identity Management , Blockchain , Interoperability , and Digital Rights . A significant portion of his work explores how children’s rights can be protected in digital environments, combining technical solutions with ethical and societal considerations. His research integrates user-centric computing with robust system architectures. The analysis of his recent publications reveals a strong focus on decentralized digital identity systems, privacy-preserving technologies, and the development of reference architectures for complex software systems. His work increasingly bridges technical innovation with human rights, especially in the context of youth digital presence and security awareness through game-based learning. Actively involved in research on digital identity and blockchain applications Focus on children's rights and digital environments Published in top-tier computer science conferences such as SEMANTiCS and IEEE WoWMoM Contributed to foundational work in ground segment software architecture José Rogado has supervised at least 13 research works or students, indicating a strong commitment to academic mentorship. While specific grant details are not listed, his sustained research output and leadership in departmental and technical domains suggest active involvement in funded projects and collaborative research. He is affiliated with COPELABS (Cognitive and People-centric Computing), a research lab focusing on human-centered technological innovation.

Rogério António Pontesمشاهده پروفایل

پژوهشگر

• Data Privacy
• Secure Data Processing
• Cryptographic Protocols
• +۴ مورد دیگر

Rogério António Pontes serves as an External Research Collaborator at INESC TEC's High-Assurance Software Centre (HASLab) since July 2014, contributing to cutting-edge research in computer security and data privacy. His work bridges academic innovation with industry-relevant solutions for secure data systems. He completed his Master's thesis on "Linear Algebra Approach to OLAP systems" and is currently pursuing his PhD through the MAP-i Doctoral programme, focusing on data privacy challenges in collaboration with the European SafeCloud-eu project. His educational trajectory demonstrates a clear progression from theoretical foundations to applied security research. Pontes' research centers on practical implementations of privacy-preserving technologies across distributed environments. His expertise spans cryptographic protocols for secure computation, oblivious database operations, and multi-cloud storage architectures. He addresses critical gaps in data security by developing systems that maintain confidentiality without sacrificing performance, with particular emphasis on real-world deployability in cloud and distributed infrastructures. His publication record reveals a consistent trajectory toward increasingly sophisticated secure system designs. Early work established foundations in secure file systems (SafeFS, 2017) and multi-cloud databases (d'Artagnan, 2019), evolving toward optimized oblivious search (CODBS, 2021) and general-purpose secure CRDTs (2023). This progression demonstrates mastery in combining cryptographic theory with systems engineering to solve concrete privacy challenges. As an integral member of HASLab at INESC TEC, Pontes collaborates within a high-assurance software research ecosystem focused on developing verifiable security solutions. His work directly impacts how sensitive data is processed in untrusted environments, contributing to Portugal's growing reputation in cybersecurity research through both theoretical contributions and open-source implementations.

António Lucas Soaresمشاهده پروفایل

دانشیار

• Information Systems
• Collaborative Networks
• Information and Knowledge Management
• +۳ مورد دیگر

António Lucas Soares is an Associate Professor at the Department of Informatics Engineering, Faculty of Engineering, University of Porto, and a researcher at INESCTEC. He coordinates the Center for Enterprise Systems Engineering and Cluster Industry & Innovation at INESCTEC. His expertise lies in Information Systems with a focus on Collaborative Networks and Knowledge Management in industrial contexts. He directs the Master's program in Information Science (FEUP/FLUP) and holds executive roles in international academic organizations. His research emphasizes socio-technical design, digital platforms, and Industry 5.0 applications in manufacturing and logistics resilience. Research Interests: Socio-technical systems design Knowledge representation frameworks AI-driven supply chain transformations Augmented Reality applications Logistics 5.0 technologies Publications (2024) highlight advancements in requirements management frameworks, cognitive digital twins, and Industry 5.0 logistics innovations. His work bridges technical solutions with human-centered operational needs in industrial ecosystems. Advising: Supervised 10+ theses on topics like Scrum adoption, digital twins, and circular economy ecosystems. Active in grant-funded projects addressing manufacturing resilience and supply chain digitalization. Labs/Teams: Leads the Enterprise Systems Engineering Centre at INESCTEC, fostering interdisciplinary research in industrial informatics and collaborative networks.