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

• High-Performance Computing
• Parallel Computing
• Heterogeneous Computing
• +۷ مورد دیگر

Alberto José Gonçalves Carvalho Proença serves as Full Professor in the Department of Informatics at the School of Engineering, University of Minho, and holds the position of Senior Researcher with Dr. habil at Centro ALGORITMI. His academic career spans over 45 years, beginning at the University of Porto in 1976 before transitioning to the University of Minho in 1977 where he has remained ever since. His educational foundation includes: Licentiate in Electrical Engineering from Coimbra, Portugal (1976) MSc in Digital Electronics from UMIST, Manchester, UK (1979) PhD from Manchester, UK (1982) Dr. habil (Habilitation) from the University of Minho (1998) Professor Proença's research spans from digital electronics to cutting-edge high-performance computing, with core expertise in computer architecture, parallel computing, and heterogeneous computing systems. His work bridges theoretical computer science with practical applications across diverse domains including particle physics (LHC data analysis), forensic science (DNA library systems), materials science (crystallographic imaging), and cultural heritage preservation. Current research focuses on optimizing computational efficiency across heterogeneous resources for scientific applications, addressing challenges in big data processing, parallel random number generation, and scheduling algorithms for distributed environments. Throughout his career, Professor Proença has successfully supervised numerous MSc dissertations and PhD theses while contributing significantly to institutional computing infrastructure. He chaired the University Computer Centre for 17 years (1985-2002), establishing Portugal's first national parallel computing service. For 11 years (2006-2017), he led the Advanced Computing theme in the University of Texas at Austin-Portugal cooperation program. Since 2005, he has directed the university's SeARCH heterogeneous computing cluster, supporting research across multiple scientific disciplines. His research group has developed several influential frameworks including JaSkel (Java Skeleton-Based Framework for Cluster and Grid Computing), HEP-Frame (for LHC data analysis), Im2Cr (crystallographic imaging tool), and CROSS-Fire (risk management decision support system). These platforms demonstrate his commitment to translating theoretical advances into practical tools that address real-world scientific and societal challenges.

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

استاد

• Cybersecurity
• Distributed Systems
• Blockchain Technology
• +۵ مورد دیگر

Miguel Pupo Correia is a Full Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon. He serves as President of the Executive Committee of INESC-ID and is a researcher in the Distributed, Parallel and Secure Systems (DPSS) group. He represents Portugal in the European Blockchain Partnership (EBP) and holds roles in Associação .PT. He holds a PhD in Computer Science from the University of Lisbon Faculty of Sciences. His research focuses on cybersecurity, dependability in distributed systems, and their applications in blockchain, cloud, and mobile environments. Key projects include TRUSTyFOOD, BIG, and MAFTIA, among others. He is an Associate Editor for IEEE Transactions on Computers and a Senior Member of IEEE. His work spans blockchain interoperability, secure cloud storage, intrusion detection, and fault-tolerant algorithms. Notable contributions include BlockSim (a blockchain simulator) and SRX (SGX data recovery). He has over 200 publications and leads initiatives like BLOCKCHAIN.PT to advance Portugal’s blockchain adoption.

Edward SUNمشاهده پروفایل

استاد

• Data Science
• FinTech
• Mathematical Finance
• +۷ مورد دیگر

Edward SUN is a Professor in Data Science and FinTech at Kedge Business School since 2018, with a PhD in Statistics and Mathematical Finance from the University of Karlsruhe (2007) and HDR in Management Sciences from the University of Bordeaux (2018). His research spans applied mathematics, operations research, artificial intelligence, and financial engineering, with notable collaborations with Nobel Laureate-affiliated supervisors. Key research areas: Data Science, FinTech, Mathematical Finance, Logistics 4.0, and Business Analytics Recent publications focus on spatiotemporal analysis, digital twin applications, and machine learning in financial services Teaching domains include data-driven decision-making and predictive analytics

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.

João Lourençoمشاهده پروفایل

دانشیار

• in-memory data management
• parallel computing
• large-scale computing systems
• +۶ مورد دیگر

João Lourenço is an Associate Professor at the Computer Science Department of the NOVA School of Science and Technology at NOVA University Lisbon (NOVA FCT) and Co-Director of the Institute for the Development of New Technologies (UNINOVA). He received his Ph.D. from NOVA University Lisbon in 2004 with a thesis on debugging of distributed programs. His primary research focuses on advanced computing systems with emphasis on in-memory data management for parallel and large-scale environments, testing and debugging of concurrent programs, and edge/fog computing architectures. His work bridges theoretical computer science with practical implementations in distributed systems, contributing significantly to the field of parallel computing and system reliability. Professor Lourenço has co-authored over 50 scholarly publications with notable recognition including the Distinguished Paper Award at Euro-Par 2012 and Best Paper Award at HVC 2012, demonstrating consistent research excellence. Distinguished Paper Award in Euro-Par 2012 Best Paper Award in HVC 2012 He is a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) and actively serves on advisory boards and steering committees of multiple international conferences and research networks, contributing to the global computer science community. Professor Lourenço has held visiting researcher positions at IBM Research Laboratory at Haifa (2011), University of São Paulo (2014), and University of Brno (2015), establishing international collaborations across three continents. Notably, he is a significant contributor to the LaTeX community as the creator of the widely adopted NOVAthesis template and other academic documentation tools, demonstrating his commitment to scholarly communication standards.

Paolo Romanoمشاهده پروفایل

دانشیار

• Distributed Systems
• AI/ML Systems
• Autonomic Computing
• +۵ مورد دیگر

Paolo Romano is an Associate Professor at the Department of Computer Engineering, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa. He is also a Senior Researcher at the Distributed Systems Group (INESC-ID). His research focuses on distributed systems, AI/ML systems, transactional memory, autonomic computing, and high-performance computing. He holds a PhD in Computer Engineering from Sapienza University of Rome (2007) and a Master's Degree (Summa Cum Laude) from the University of Rome Tor Vergata (2002). PhD Thesis: 'Protocols for End-to-End Reliability in Multi-Tier Systems' Supervised over 10 PhD and MSc students Research Interests : Dependable Distributed Systems Transactional Memory (Hardware/Software) Autonomic and Self-Optimizing Systems Performance Modelling & Evaluation Key achievements include leading the Cloud-TM EU-funded project (€1.7M), coordinating the Euro-TM COST Action, and winning multiple best-paper awards at ICAC, NETYS, and NCA conferences. He actively participates in technical committees for conferences like EuroPar, ICDCS, and Middleware. Grants & Projects : Coordinator of 'Euro-TM' (€400K) Coordinator of 'Cloud-TM' (€1.7M EC funding) Principal Investigator in national projects like 'specSTM' (€127K) He advises students in areas such as self-tuning distributed systems, transactional data stores, and hardware-software co-design for concurrency control. His work bridges theory and practice, with contributions to frameworks like D2STM and Cloud-TM.

Paulo Alexandre Crisóstomo Lopesمشاهده پروفایل

استادیار

• Active Noise Control
• Power Line Communications
• Computer Architecture
• +۴ مورد دیگر

Paulo Alexandre Crisóstomo Lopes is an Assistant Professor at the Department of Electrical and Computer Engineering, Instituto Superior Técnico (IST), where he teaches Computer Architecture and Digital Systems. He is also a researcher at the Signal Processing Systems Group (SIPS) within INESC-ID, focusing on Active Noise Control (ANC), Power Line Communications (PLC) using adaptive OFDM, and medical applications involving protein folding and gene regulatory pathways. His work bridges electrical engineering with biomedical systems, emphasizing practical implementations in embedded and FPGA-based solutions. Research Interests: Active Noise Control (ANC) and vibration suppression Power Line Communications (PLC) with adaptive modulation techniques Medical applications of signal processing, including protein structure analysis Embedded systems and FPGA implementations Publications Trends: His recent work emphasizes robust algorithms for noise control, optimization in OFDMA systems, and biomedical signal processing. Key techniques include adaptive filtering (LMS/NLMS), Bayesian methods, and parallel computing (CUDA/GPU). Labs/Teams: Member of the Signal Processing Systems Group (SIPS) at INESC-ID, collaborating on interdisciplinary projects combining hardware and software innovations.

Luís Eduardo Teixeira Rodriguesمشاهده پروفایل

استاد

• Distributed Systems
• Edge Computing
• Secure Systems
• +۴ مورد دیگر

Luís Eduardo Teixeira Rodrigues is a Professor Catedrático at the Department of Computer Engineering , Instituto Superior Técnico (IST) , Universidade de Lisboa . He is also affiliated with INESC-ID's Distributed, Parallel and Secure Systems Group . With a career spanning over three decades, he has pioneered research in distributed systems, fault tolerance, edge computing, and microservices consistency. PhD from IST (1996) "Agregação" in Informatics (2003) Co-founder of LASIGE's Navigators group His research focuses on transactional causal consistency , Byzantine fault tolerance , and edge computing systems . He leads the GLOG project for distributed shared logs and the DACOMICO project for microservices consistency. His work bridges theoretical distributed algorithms with practical systems engineering. Recent publications emphasize geo-replicated transactional systems , proof-of-storage mechanisms , and automated microservices decomposition . Notable collaborations include projects with institutions in Italy, Japan, and Luxembourg. Scientific contributions include: Prémio Prof. Luís Vidigal (awarded to student Mário Rui Vazão) Co-author of foundational books on Reliable Distributed Programming and Distributed Systems for System Architects Mentorship highlights: Supervised over 40 PhD and MSc students in distributed systems, including: Diogo Barrinha - Unobservable Covert Streaming Xavier Vilaça - N-Party BAR Transfer João Queirós - Transactional Causal Consistency Current projects include the GLOG distributed shared log system and DACOMICO for microservices consistency. Active in international collaborations with institutions in the USA, Switzerland, and Brazil.

Diogo Lopes Vazمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Cybersecurity
• Distributed Systems
• +۴ مورد دیگر

Diogo Vaz is a Ph.D. student and Teaching Assistant at the College of Engineering, University of Lisbon, and a researcher at INESC-ID Lisboa. His work focuses on the intersection of Artificial Intelligence, Cybersecurity, and Distributed Systems. BSc (2019) in Computer Science and Engineering, University of Lisbon MSc (2021) in Computer Science and Engineering, University of Lisbon His research explores the application of Machine Learning and Generative AI to design fault-tolerant and secure distributed systems. He has contributed to the development of AI-driven methodologies for Reliable Broadcast algorithms and intrusion recovery in mobile applications. Recent publications highlight his work in AI-driven algorithm synthesis, fault tolerance, and cybersecurity. Key trends include the use of reinforcement learning, generative AI, and cloud-based security frameworks. Scientific awards include: Advanced Computing Scholarship Full funded Ph.D Scholarship DE4A Ph.D. Scholarship Diogo is part of the Distributed, Parallel, and Secure Systems (DPSS) research group at INESC-ID Lisboa, collaborating on secure and resilient distributed computing solutions.

Alberto Proençaمشاهده پروفایل

استاد

• Computer Science
• High-Performance Computing
• Parallel Computing
• +۷ مورد دیگر

Alberto Proença is a Full Professor at the Department of Computer Science, School of Engineering of the University of Minho (DI-EEUM). A pioneer in computational science, he founded Portugal's first national parallel computing service in 1994 and led the SeARCH heterogeneous computing cluster since 2005. His research spans digital electronics, high-performance computing architectures, and applications in cultural heritage, computer vision, physics, and chemistry. Born in Mozambique (1954), migrated to Portugal (1975) Bachelor's from University of Coimbra; PhD from University of Manchester (UK) Longstanding affiliation with UMinho since 1977 Researcher at Algoritmi Centre Contributions include: Chaired UMinho's Computer Centre Initiated Erasmus exchange programs with University of Bristol Directed Advanced Computing in Portugal-US collaboration Received accolades during jubilation ceremony on 14 June 2024 at Gualtar Campus, attended by institutional leaders and collaborators.

David Pereiraمشاهده پروفایل

مدرس

• Formal Verification
• Real-Time Systems
• Programming Languages
• +۳ مورد دیگر

David Pereira is a Lecturer and Integrated PhD Researcher at the University of Porto, affiliated with CISTER Research Centre (ISEP). He holds a PhD in Computer Science from the MAP-i program (Universities of Minho, Porto, and Aveiro). His research focuses on formal verification techniques using the Coq theorem prover, mechanization of Kleene algebra, and application to real-time systems. He is actively involved in projects like MARS and IBEX, addressing challenges in cyber-physical systems and runtime verification. Education: BSc in Computer Science (2003, University of Porto) MSc in Computer Science (2007, University of Porto, specializing in formal logics for intelligent agents) PhD in Computer Science (MAP-i Program) Research Interests: Mechanized formal verification using Coq Formal methods for real-time and parallel programs IEC 61499 standard semantics and tool development Runtime monitoring in safety-critical systems Programming languages for real-time applications (e.g., Ada) Advising & Grants: Active contributor to projects like MARS (toolset for distributed systems), IBEX (cyber-physical programming), and RTFM-core (certified compilation). Has organized conferences like VERDI 2023 and participated in international events. Labs/Teams: Core member of CISTER Research Centre, involved in tool development (e.g., RTFM-4FUN) and formal verification frameworks.

• Microfluidics
• Nanotechnology
• Biomedical Engineering
• +۳ مورد دیگر

Vania Silverio is an Assistant Professor at the Department of Physics within the Instituto Superior Técnico of the University of Lisbon. Her research focuses on microfluidics, nanotechnology, and biomedical engineering applications, with particular expertise in metrology standards for microfluidic systems. She teaches courses such as Microfluidics and Micro and Nanofabrication Techniques. Her work integrates experimental methods with computational modeling to address challenges in fluid dynamics and device fabrication. Education: Vania holds a PhD in Mechanical Engineering from Instituto Superior Técnico (2016) and a 5-year Bachelor's Degree in Technological Chemistry from the Faculty of Sciences of the University of Lisbon (2003). Her doctoral research investigated micro-cooling technologies for power systems, receiving Distinction. Her undergraduate work included reaction calorimetry studies, earning top grades. Research interests span microfluidic device development, magnetic cytometry, and thermal management solutions. Her recent projects include portable bioaerosol samplers (SOLARIS), high-throughput screening systems, and metrology standards for lab-on-a-chip technologies. She collaborates with INESC Microsystems and Nanotechnologies, advancing applications in biomedical diagnostics and environmental monitoring. Notable contributions include pioneering leakage testing protocols for microfluidics and integrating neural networks with magnetic sensors for cytometry. Her work bridges fundamental research with practical applications, emphasizing reproducibility and precision in microscale systems.

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.

Luís M. Alvesمشاهده پروفایل

استاد

• Empirical Software Engineering
• Software Project Management
• Software Metrics
• +۳ مورد دیگر

Luís M. Alves is a Professor at the Polytechnic Institute of Bragança, Portugal, where he has taught since 1999. He holds an M.Sc. in Computer Science from the University of Porto and a Ph.D. in Information Systems and Technology from the University of Minho. Currently, he serves as Course Director of the Bachelor in Informatics Engineering program at the Technology and Management School's Informatics and Communications Department. His research focuses on empirical software engineering, software project management, educational methodologies in programming instruction, and software metrics. Notable interests include problem-based learning approaches, student achievement metrics using tools like the C Tutor, and cross-country educational studies comparing programming curricula. Publications emphasize programming pedagogy innovations, software risk analysis in academic projects, and empirical studies on software estimation models. Over 20 years, his work bridges academic and industry needs through project-based learning frameworks and visualization tools like GraSMA. No scientific awards are explicitly mentioned in the provided text. He has advised at least one publication in programming education research and contributed to multiple international collaborations on educational technology. No lab affiliations or specific grant details are documented here.