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

Yasser Omarمشاهده پروفایل

دانشیار

• Quantum Information
• Quantum Computing
• Quantum Communication
• +۳ مورد دیگر

Yasser Omar is an Associate Professor at the Logic and Computation Unit within the Department of Mathematics at Instituto Superior Técnico (IST), University of Lisbon. He serves as Group Coordinator for the Physics of Information and Quantum Technologies Group at PQI – Portuguese Quantum Institute and CeFEMA/LAPMET. Additionally, he is President of PQI and a Corresponding Member of Academia das Ciências de Lisboa. Ph.D. in Physics, Centre for Quantum Computation, Department of Physics, University of Oxford (2003) Physics Degree (Licenciatura em Engenharia Física Tecnológica), Instituto Superior Técnico (1998) His research focuses on quantum information, quantum technologies, and their intersections with physics, mathematics, and computation. Key areas include quantum entanglement, quantum algorithms, quantum thermodynamics, and applications to complex networks and high-energy physics. Recent publications highlight advancements in quantum communication, energy-efficient computation, and quantum machine learning. Notable works include quantum clustering algorithms, multipartite entanglement distribution, and thermodynamic scaling in quantum computers. He coordinates the Minor in Quantum Science and Technologies at IST and directs the Doctoral Programme in the Physics and Mathematics of Information. His leadership extends to co-founding the World Quantum Day (April 14) and EQSI – European Quantum Software Institute, while also serving as Co-Chair of the Advisory Board for the CERN Quantum Technology Initiative. Yasser Omar's work at the QuTe Lab – Quantum Technologies Laboratory – has been featured in media outlets like SIC TV, focusing on free-space quantum communication and its applications.

• Information Systems
• Data Science
• Databases
• +۱۱ مورد دیگر

Joaquim Lourenço dos Santos Esmerado is an Assistant Professor in the Department of Information Science and Technology (ISTA) at ISCTE – Instituto Universitário de Lisboa. He is also an integrated researcher at ISTAR-Iscte, the Research Center in Information Sciences, Technologies, and Architecture, where he contributes to the Information Systems research group. His academic and professional focus lies at the intersection of data science, databases, and information systems with applications in hospitality, tourism, and education. PhD in Computer Graphics and Computer Animation, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 2001 Master’s in Electrical and Computer Engineering, Higher Technical Institute (UTL), 1992 Bachelor’s in Electrical Engineering, Higher Technical Institute (UTL), 1985 His research interests include Information Systems, Data Science, Decision Support Systems, Databases, Computer Graphics, and Artificial Intelligence. He has published extensively in top-tier journals such as the International Journal of Information Management and the Journal of Hospitality and Tourism Technology , often applying data mining and sentiment analysis to understand user behavior in digital platforms. His work bridges technical computing with real-world applications in tourism and education. The 15 most recent publications reflect a strong trend in leveraging data from online reviews to extract insights into customer satisfaction, service quality, and user engagement in hospitality and tourism. Additionally, he explores educational technology, particularly in the assessment of programming and software skills. Earlier works focus on computer animation, virtual environments, and shape grammars, indicating a long-standing interest in human-computer interaction and digital creativity. No formal scientific awards or prizes are mentioned in the provided texts. He has advised at least one master’s student, Rui Alexandrino Calção Mendes, whose dissertation focused on predicting the success of IT banking projects using data-driven methods. He has not received any explicit mention of research grants, but his sustained publication output suggests active research engagement. Teaching responsibilities include courses such as Databases , Distributed Information Systems Integration Project , Computational Creativity , and Computer Animation , reflecting both his technical depth and interdisciplinary reach. He is affiliated with the ISTAR-Iscte research center, particularly within the Information Systems group, where he collaborates on projects involving data analytics, information management, and digital innovation. His work often involves interdisciplinary collaboration, especially with researchers like Sérgio Moro and Pedro Ramos, indicating strong team-based research activities.

Valderi Reis Quietinho Leithardtمشاهده پروفایل

استادیار

• Distributed Systems
• Data Privacy
• Internet of Things
• +۱۱ مورد دیگر

Valderi Reis Quietinho Leithardt is an Assistant Professor at the Department of Information Science and Technology, Iscte – University Institute of Lisbon , Portugal, where he holds a full-time position with exclusive dedication. He is an integrated researcher at ISTAR-Iscte (Research Center in Information Sciences, Technologies and Architecture) and a Senior Member of the IEEE . His academic affiliations also include collaborations with the University of Coimbra, University of Salamanca, and Fondazione Bruno Kessler. Education: Post-Doctorate , University of Salamanca, Spain (2019–2021) Post-Doctorate , University of Coimbra, Portugal (2017–2019) PhD in Computer Science , Federal University of Rio Grande do Sul, Brazil (2011–2015) Master’s in Computer Science , Pontifical Catholic University of Rio Grande do Sul, Brazil (2006–2008) Bachelor’s in Data Processing Technology , Higher Education Center of Foz do Iguaçu, Brazil (1999–2002) Research Interests: Valderi's research focuses on Distributed Systems, Data Privacy, Internet of Things (IoT), Cloud Computing, and Intelligent Systems . He explores algorithmic solutions for secure and efficient data management in heterogeneous environments, with applications in smart cities, precision agriculture, healthcare, and energy systems. His work integrates machine learning, blockchain, and federated learning to enhance privacy, security, and system performance. Publication Trends: His recent publications (2024–2025) emphasize time series forecasting, anomaly detection, JVM optimization, and privacy-preserving AI . A strong trend is observed in applying machine learning to power grid fault prediction, blockchain-based healthcare data privacy, and data quality in federated learning. His work bridges theoretical computer science with real-world applications in infrastructure, sustainability, and digital security. Scientific Contributions: Senior IEEE Member Active contributor to open science and reproducibility Involved in interdisciplinary research networks: Embedded and Distributed Systems Laboratory, COPELABS, CTS, CANDEIIA Member of professional societies: IEEE (since 2011), Brazilian Computer Society (since 2003) Academic Service and Leadership: He has held leadership roles in academic programs, including Director and Coordinator of the Master's in Computer Science and Management at Iscte (2025–2027). He actively organizes and participates in scientific events such as IEEE CIoT, DiTTEt, SBSeg, and MobiSPC, serving on organizing and scientific committees. He has coordinated workshops like WTTFC 2024 and 2025, promoting technological trends in future computing. Labs and Research Groups: He is a collaborator in several research networks, including: Embedded and Distributed Systems Laboratory (since 2016) Expert Systems and Applications Laboratory (since 2019) COPELABS – Human-Centered Computing and Cognition (since 2020) Fondazione Bruno Kessler (2021–2025) Center for Technology and Systems (CTS) (since 2023) Advanced Center for Development of Intelligent Systems and Artificial Intelligence (CANDEIIA) (since 2024)

António Luís Sousaمشاهده پروفایل

استادیار

• Dependable Distributed Systems
• Distributed Database Systems
• Cloud Computing Management
• +۵ مورد دیگر

António Luís Sousa is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab/INESC TEC. He has served as Centre Coordinator since 2011, focusing on high-assurance software systems. His research emphasizes dependable distributed systems, cloud computing, and applications in healthcare informatics. He actively supervises graduate students, with recent theses addressing topics like cloud-based medical imaging systems, workflow engines, and IoT platforms for medical sensors. Research interests include distributed database systems, scalable cloud architectures, and AI-driven solutions for medical imaging. Notable projects involve GAN-based MRI generation in HPC environments and privacy-preserving DICOM systems using Kubernetes. His work bridges distributed computing with healthcare challenges, leveraging frameworks like ChainerMN and Apache HBase. Publications span medical imaging generation, IoT healthcare monitoring, and deep learning for ECG classification. He collaborates with institutions like INESC TEC and has advised over a dozen students. No scientific awards are explicitly mentioned, but his contributions highlight advancements in both theoretical and applied computing for healthcare.

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

استادیار

• Formal Methods
• Concurrency
• Coordination Models
• +۵ مورد دیگر

José Proença is an Assistant Professor at the Faculty of Sciences of the University of Porto (FCUP) and a Researcher at CISTER Research Centre, collaborating with INESC TEC. He specializes in formal methods for component-based systems, concurrency, and cyber-physical systems. His research focuses on coordination models, embedded systems, and software product lines, with contributions to frameworks like Reo and LooCI. Education: PhD in Concurrent & Distributed Computing (Leiden University, 2011), BSc+MSc in Mathematics & Computer Science (University of Minho, 2005) Research interests include formal verification, runtime verification for real-time systems, and hybrid systems programming. He coordinates projects like Ibex (FCT-funded) and has been involved in ECSEL projects like VALU3S. Supervised numerous MSc and PhD students, including work on CPS monitors, hybrid simulations, and variability analysis. Teaching includes Concurrent Programming, Algorithms, and Software Verification at the MSc level. Active in program committees for conferences like COORDINATION and SAFECOMP, and steering committee roles. Tools developed include Lince and RebeCaos for system simulation and formal analysis.

• Industrial Automation
• IEC 61131-3 Programming
• Critical and Reliable Systems
• +۴ مورد دیگر

Mario Jorge Rodrigues de Sousa is an Assistant Professor at the Department of Electrical and Computer Engineering , Faculty of Engineering of the University of Porto (FEUP) . His research focuses on Industrial Automation, including IEC 61131-3/61499 programming standards, real-time systems, distributed systems, and embedded systems. Key Contribution: Lead developer of the matiec compiler , an open-source tool for IEC 61131-3 languages used globally by industries and the Beremiz project. Affiliations: Integrated Member of SYSTEC - Systems and Technologies Center at the University of Porto. Teaching includes a continuing education course on Advanced Programming of Automata (IEC 61131-3) since 2017. Active in academic service with roles like Responsible Teacher for specialized courses.

• Concurrent Systems
• Formal Methods
• Modal Logic
• +۴ مورد دیگر

Carlos Olarte is an Associate Professor at the LIPN (Laboratoire d'Informatique de Paris Nord) within the Institut Galilée at Université Sorbonne Paris Nord . His research focuses on concurrent systems , formal methods , and rewriting logic , with affiliations to the AVISPA research group . He has contributed to tools like PTA2Maude , PITPN2Maude , and SiLVer , addressing formal verification and logic-based systems. He holds grants including NATO Science for Peace (SymSafe, 2023) and CNPq projects (LOGOCOSMICS, 2019–2022). His work spans theoretical computer science, with recent publications in Tableaux , JLAMP , and Coordination . He actively participates in academic service, including PC chair roles for PPDP 2025 and local organization of Petri Nets 2025 . His research tools emphasize formal analysis of real-time systems, modal logics, and strategic reasoning. He has developed frameworks for linear logic theorem proving and declarative system specification.

• Formal Methods
• Software Engineering
• Formal Verification
• +۵ مورد دیگر

Alcino Cunha is an Associate Professor with habilitation at the Department of Informatics of the University of Minho. He is a member and co-coordinator of the High-Assurance Software Laboratory, part of the University of Minho and INESC TEC. His research focuses on making formal software design accessible, particularly through advancements in the Alloy framework, including Alloy4Fun and Alloy Version 6. He has contributed to tools like HAROS for robotic software verification and Echo for model repair. Teaching roles include Formal Methods in Software Engineering (MSc), Formal Verification (MSc), and Algorithmic Problem Solving Lab (BSc). He has led projects such as SAFER (robotic safety verification), TRUST (Alloy-based design), and DigiLightRail (railway network verification). His service includes PC roles at SEFM 2025, ABZ 2025, and QRARSAC conferences. Research highlights include formal specification education, temporal relational modeling (Pardinus), and verification of distributed systems. Collaborations with ONERA and INESC TEC have produced influential frameworks like Alloy4Fun and Electrum. His work bridges academia and industry, notably through consultancy with EFACEC and contributions to national CRIS ecosystems (PTCRISync).

Hervé Paulinoمشاهده پروفایل

دانشیار

• Mobile Computing
• Distributed Systems
• Networking
• +۳ مورد دیگر

Hervé Paulino serves as an Associate Professor in the Computer Science Department at the Faculty of Sciences and Technology, NOVA University Lisbon, where he maintains an office in cabinet P2/16. He is an integrated research member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), contributing to the institution's academic and research framework with contact details including telephone 212 948 300 ext. 10729. His research spans Mobile Computing , Distributed Systems , and Networking , with specialized focus on WiFi-Direct internetworking protocols and key-value storage architectures for mobile environments. This work manifests in publications at premier venues including Mobiquitous, Euro-Par, and WoWMoM conferences, alongside contributions to journals like Future Generation Computing Systems. He has supervised graduate research evidenced by PhD and MSc theses on WiFi-Direct internetworking and mobile data storage solutions. His academic activities operate within the collaborative ecosystem of NOVA LINCS, which drives innovation across computer science disciplines through interdisciplinary projects and industry partnerships.

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

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Neuro-symbolic Artificial Intelligence
• +۳ مورد دیگر

João Leite is a Professor of Computer Science at the Department of Computer Science, NOVA School of Science and Technology, NOVA University Lisbon. His career spans roles as Head of Department, Vice President of APPIA, Principal Investigator of the Intelligent Systems Group at NOVA LINCS, and Senior Visiting Fellow at CSE, UNSW, Sydney, Australia. He is an International Partner of Potassco Solutions and a member of IFIP TC-12 Artificial Intelligence. João's research focuses on Artificial Intelligence , Knowledge Representation and Reasoning , Neuro-symbolic AI , Answer-Set Programming , Argumentation Theory , and Multi-Agent Systems . 2002 : PhD in Computer Science, NOVA University Lisbon 1997 : MSc in Computer Science, NOVA University Lisbon 1994 : BSc in Electronic Engineering, University of Coimbra João's articles demonstrate a consistent focus on Answer-Set Programming (ASP), with applications in Knowledge Forgetting , Modular Reasoning , and Hybrid Knowledge Bases . His work bridges ASP with Ontologies , Multi-Context Systems , and Neural Networks , emphasizing Explainable AI and Dynamic Knowledge Evolution . Recent papers explore Provenance in Heterogeneous Systems , Efficient Reasoning with Intensional Concepts , and Stream Reasoning using neural architectures. Scientific Awards : Senior Visiting Fellow at CSE, UNSW, Sydney Award-winning collaborative project: The Politics of constraints: Discursive strategies in a three-level game João has led significant research projects such as FORGET (2018-2022) on information forgetting and RIVER (2018-2022) on knowledge-stream integration. He contributed to NEURASPACE (2022-2025) and Knowledge-Aware Cyber-Physical Systems (2015-2019). His software developments include NoHR (Hybrid Reasoning), EVOLP (Evolving Logic Programs), and SWARG (Social Abstract Argumentation Tool).

Joaquim Ferreira da Silvaمشاهده پروفایل

استادیار

• Distributed Systems
• Intelligent Systems
• Computer Networks
• +۱ مورد دیگر

Joaquim Ferreira da Silva serves as an Assistant Professor in the Department of Informatics at NOVA University of Lisbon's Faculty of Sciences and Technology, affiliated with the SSDI section (Distributed and Intelligent Systems and Services) from office 251. His research spans critical domains in modern computing infrastructure: Distributed Systems architecture and resilience Intelligent Systems integration and automation Computer Networks optimization and security Software Engineering methodologies for complex service-oriented environments

Kevin Gallagherمشاهده پروفایل

استادیار

• Privacy
• Anonymity
• Cybersecurity
• +۴ مورد دیگر

Kevin Gallagher is an Assistant Professor in the Department of Informatics at the Faculty of Science and Technology, NOVA University Lisbon. He is also a founder of PrivacyLX, a core contributor to the Tor Project, and an activist focused on technology-driven social change. His research centers on human-centric security with critical interests in: Privacy and Anonymity Systems Cybersecurity for Activists Usability and User Experience (UX) Applied Cryptography Distributed Systems Horizontal Security Frameworks Gallagher actively contributes to open-source privacy infrastructure through Tor and leads PrivacyLX, emphasizing practical security solutions for marginalized communities and activists. His work bridges technical development with radical education principles to empower vulnerable populations through accessible technology.

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +۷ مورد دیگر

Joao Pedro Leal Abalada de Matos Carvalho is a researcher at Lusofona University 's School of Communication, Architecture, Arts and Technologies , focusing on Artificial Intelligence, Machine Learning, and Unmanned Aerial Vehicle systems. He contributes to projects like ANTIDOTE (AI Attack & Defense) and REMARKABLE (Rural Environmental Monitoring). Active in AI-driven environmental monitoring and cyber-physical systems Collaborates with Horizon Europe and Marie Skłodowska-Curie Actions Key research areas: Deep Learning, Federated Learning, High-Energy Physics His work involves LoRaWAN engineering , satellite data processing , and hydroelectric forecasting models , with 55 scientific publications and 382 h-index citations. Current collaborations span Europe and Brazil , with active projects in smart healthcare , AI literacy , and radiation-hardened electronics for CERN experiments.

Andriy Lyubchykمشاهده پروفایل

استادیار

• Renewable Energy
• Energy Conversion Technologies
• Nanomaterials
• +۵ مورد دیگر

Dr. Andriy Lyubchyk is an Assistant Professor at the Nanotechnologies and Nanomaterials Department , Universidade Lusofona (Portugal) since 2021. He holds a PhD in Chemical Engineering (2013, Portugal) and an MSc in Physical Chemistry (2007, Ukraine). His career spans roles as Principal Investigator at Universidade NOVA de Lisboa (2016-2019) and Director of Research at SME NANOTECH Ltd (2019-2022). He has coordinated groundbreaking projects like the HUNTER Project (6.4M Euro, 2015-2019) SShare Project (871284, Horizon 2020) CATCHER Project (Horizon Europe, 2022-2026) focused on 'humidity to electricity' conversion technologies. His research bridges Zirconia-based nanomaterials , Surface Science , and Energy Conversion Systems , with over 46 scientific publications and an h-index of 1062. Recent work explores Structural stability of yttria-stabilized zirconia Potential barrier formation in oxide composites Porosity engineering for enhanced energy output Nanostructured materials for biological gas sensors . Dr. Lyubchyk leads international collaborations under Horizon Europe and H2020-MSCA-RISE frameworks, focusing on Net Zero Energy Buildings and Advanced Sensor Technology . His scientific awards include coordination roles in multi-million Euro projects, emphasizing Renewable Energy and Material Innovation .

Elói João Faria Figueiredoمشاهده پروفایل

استاد

• Structural Health Monitoring
• Civil Engineering Structures
• Machine Learning Applications
• +۵ مورد دیگر

Elói João Faria Figueiredo is a Full Professor at the Faculty of Engineering, Lusófona University of Humanities and Technologies (ULHT) in Lisbon, serving as Director of Civil Engineering programs. He specializes in structural health monitoring and life cycle management of civil infrastructure, particularly bridges, combining machine learning with finite element modeling . PhD in Civil Engineering (2010) Technical consultant for bridge monitoring/maintenance Member of CERIS research unit Over 150 publications and 15+ recent articles in 2024-2025 Research focuses on data-driven structural diagnostics , addressing challenges like limited experimental data and uncertainty through Bayesian calibration and transfer learning . Recent works include climate change adaptation for infrastructure monitoring and advanced techniques for composite/twin concrete bridges. His scientific fingerprint includes expertise in: Damage Detection (100%) , Structural Health Monitoring (79-100%) , Machine Learning Algorithms (41%) , and Prestressed Concrete Bridges (50%) . Collaborations span multiple countries, emphasizing European structural monitoring initiatives.