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

• Sociology of Communication
• Media and Society
• Internet Studies
• +۱۲ مورد دیگر

Gustavo Cardoso is a Full Professor of Communication Sciences at ISCTE - University Institute of Lisbon and a researcher at CIES-Iscte - Center for Research and Studies in Sociology. He is also an associate researcher at CADIS in Paris and Director of OberCom - Observatory of the Media in Lisbon. His academic leadership includes directing the PhD in Communication Sciences and three postgraduate programs: Journalism, Fact-Checking and Disinformation, and Communication and Political Consulting. Full Professor, Department of Sociology, ISCTE-IUL Integrated Researcher, CIES-Iscte Director, OberCom - Observatory of the Media Associate Researcher, CADIS, Paris Education: Aggregation in Sociology, ISCTE-IUL (2010) Postgraduate Studies in Global Leadership and Public Policy, Harvard Kennedy School (2009) PhD in Sociology of Communication, ISCTE-IUL (2005) Master’s in European Studies, ISCTE-IUL (1997) Bachelor’s in Business Organization and Management, ISCTE-IUL (1994) Gustavo Cardoso's research focuses on the sociology of communication, media and society, internet studies, and the transformation of journalism in the digital age. His work explores the shift from mass communication to networked communication, the role of screens and mediation, digital democracy, and the cultural impacts of the network society. He investigates how communication shapes institutions, identities, and social change, particularly in times of crisis. His recent publications reveal a strong trend toward theorizing networked communication, mediatized culture, and the communication of communication as a new paradigm. His books analyze digital transformation, youth media practices, open science, and socio-political movements, reflecting a deeply interdisciplinary and globally comparative approach. Scientific Awards and Honors: Grand Officer of the Order of Prince Henry the Navigator Young Global Leader (2009) Member of Academia Europaea – Cinema, Media, and Visual Studies section He has served as advisor to the President of Portugal on Information Society policy (1996–2006) and as non-executive Vice-Chairman of the Lusa news agency (2006–2012). He leads major research projects on open science and digital transformation, often funded by the Calouste Gulbenkian Foundation. His international collaborations include the World Internet Project and research networks across Europe, the US, and Asia. He mentors students and researchers in communication, sociology, and digital culture. His leadership extends to editorial and organizational roles in books and research initiatives, including co-editing volumes on network society, crisis cultures, and media models. He is actively involved in shaping communication education and policy in Portugal and beyond.

Fabrizio Espositoمشاهده پروفایل

دانشیار

• Private Law
• Economic Law
• European Law
• +۹ مورد دیگر

Fabrizio Esposito is an Associate Professor of Private Law at the NOVA School of Law (NOVA University Lisbon), where he coordinates the Master's in Law Applied to Technology (Law&Tech) and the NOVA Data-Driven Law Knowledge Center . He is also a Librarian Professor and researcher at the NOVA Consumer Lab , and directs the MetaLawEcon network while serving as an analyst for EU Law Live . Education: LL.B. in Law (2011) from Bocconi University; LLM (2015) and PhD (2018) in Comparative, European and International Law from the European University Institute. Research Areas focus on the intersection of Private Law, Economic Law, European Law, and Legal Theory , particularly analyzing Consumer Law, Data Protection, Competition Law , and sector-specific legislation to address technological challenges in the Attention Economy . Current work explores price personalization and harm theories in Consumer Law, emphasizing consumer data collection and regulatory innovation. Publications span journals like Computer Law & Security Review , Journal of Consumer Policy , and European Competition Journal , alongside co-edited volumes on Research Methods in Consumer Law (2018) and Economics in Legal Reasoning (2020). His forthcoming monograph redefines Law and Economics research paradigms by prioritizing consumer interests.

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +۷ مورد دیگر

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

• 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 .

Diogo Ribeiro Ferreiraمشاهده پروفایل

دانشیار

• Data Science
• Applied Machine Learning
• Deep Learning
• +۶ مورد دیگر

Diogo Ribeiro Ferreira is an Associate Professor of Information Systems at Instituto Superior Técnico (IST) , part of the University of Lisbon . He is also a researcher at the Institute of Plasmas and Nuclear Fusion (IPFN) . His career spans teaching, research, and collaboration with institutions like JET (Joint European Torus) in nuclear fusion. His research focuses on Data Science , Applied Machine Learning , Deep Learning , and Process Mining , with applications in Nuclear Fusion (plasma diagnostics, disruption prediction) and Information Systems (workflow management, healthcare process analysis). He has taught courses like Data Administration in Information Systems and Data Analysis and Integration since 2003. His work bridges Computer Science and Physics , particularly in using Graph Neural Networks for plasma modeling and GPU Acceleration for high-performance computing. He has supervised over 20 PhD and MSc students, including André C. Santos and Fernando Szimanski, and co-authored 15+ recent publications in journals like Journal of Plasma Physics and Fusion Engineering and Design . Scientific Awards: 2012 ICGA Journal Award Best Paper Award at 9th IEEE International EDOC Conference 2005 Collaborations: Affiliated with JET Contributors and IPFN, focusing on real-time tomography and fusion reactor optimization.

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.

• Computer Science
• Formal Methods
• Programming Languages
• +۱ مورد دیگر

André de Matos Pedro is an Assistant Professor in the Department of Computer Science at the University of Beira Interior. He teaches courses including Teoria da Computação (Theory of Computation), Programação Funcional (Functional Programming), and Segurança e Fiabilidade de Software (Software Security and Reliability). His research focuses on formal methods, runtime verification, and programming language theory. His publication record shows consistent focus on formal verification methods applied to real-time and embedded systems. Recent work emphasizes runtime monitoring frameworks, SAT/SMT-based verification techniques, and applications in safety-critical domains like autopilot systems. The research trajectory demonstrates increasing emphasis on practical applications of temporal logic and co-simulation testing platforms.

Raquel Amaroمشاهده پروفایل

استادیار

• Computational Linguistics
• Lexical Semantics
• Lexicography
• +۳ مورد دیگر

Raquel Amaro serves as tenured Assistant Professor at NOVA University of Lisbon's School of Social Sciences and Humanities and Researcher at the Linguistics Research Centre (CLUNL) since 2015. She coordinates the Horizon Europe iRead4Skills project and has led 7 of 25+ research initiatives in corpus linguistics, computational lexical semantics, lexicography, and language technologies. Education: PhD in Computational Linguistics, University of Lisbon (2010) Master in Linguistics, University of Lisbon (2002) Her research pioneers computational approaches to lexical semantics and grammatical modeling, with emphasis on cross-linguistic resource development (Portuguese/Italian/Slovak) and educational applications. Current work bridges computational linguistics with health literacy and heritage language preservation through COST Actions and the Heritage Language Consortium. Recent publications demonstrate methodological innovation in semantic alignment frameworks, pedagogical lexicography tools, and multilingual grammatical resources, reflecting her dual focus on theoretical linguistics and practical language technology deployment. She actively supervises PhD/MA candidates while teaching computational linguistics across degree levels. Her professional footprint spans project leadership (7 coordinated), international collaborations (Macao, Mozambique, Czech Republic), and service on journal/conference committees. As CLUNL Board Director since 2017, she shapes institutional research strategy while maintaining industry engagement through roles like Lionbridge Computational Linguist.

Jose Nuno Oliveiraمشاهده پروفایل

استاد

• Formal Methods
• Programming Algebra
• Functional Programming
• +۳ مورد دیگر

Jose Nuno Oliveira is a Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. He is a member of the IFIP WG 2.1 (Algorithmic Languages and Calculi) and the Formal Methods Europe (FME) Association. He serves on the editorial board of Springer's Formal Aspects of Computing . His research focuses on formal methods, programming algebra, and functional programming, with recent work on relation algebra and linear programming algebra for software verification. He has supervised multiple theses in areas like quantum programming, probabilistic model verification, and functional programming applications. Key research interests include applying theoretical constructs (e.g., adjunctions, difunctions) to practical software systems. His publications (2022–2024) explore fuzzy logic extensions in Alloy, historical relational program analysis, and foundational programming concepts. He leads efforts in trusted software development through collaborations at INESC TEC.

Nuno Moreira Macedoمشاهده پروفایل

استادیار

• Trustworthy Software Design
• Formal Methods
• Model Checking
• +۵ مورد دیگر

Nuno Moreira Macedo is an Assistant Professor at the Department of Informatics Engineering (DEI) of the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a Senior Researcher at HASLab, INESC TEC. His research focuses on trustworthy software design, formal methods (model checking/model finding), and the development of tools like Alloy 6 and Alloy4Fun. He teaches programming languages and formal methods, emphasizing autonomous learning platforms. His work spans automotive systems, robotics software dependability, and fuzzy logic applications. Affiliations: University of Porto (FEUP), HASLab/INESC TEC Key Projects: Alloy Analyzer development, Alloy4Fun educational platform Research Themes: Formal specification, software verification, educational tools Publications highlight contributions to specification repair, automotive validation, and fuzzy logic extensions. Supervised multiple theses on topics like contract programming and API security testing. Active in both academic and industrial knowledge transfer projects.

• Formal specification
• Dynamic and modal logics
• Cyber-physical systems
• +۵ مورد دیگر

Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro, Portugal. He is a member of CIDMA (Center for Research and Development in Mathematics and Applications) and collaborates with HASLab (INESC TEC). His work focuses on formal methods, dynamic logics, and their applications to cyber-physical systems and quantum programming. Education: PhD in Computer Science (2013), University of Minho, awarded the Portuguese IBM Scientific Prize 2013 MSc in Mathematics (200?), University of Aveiro Bachelor's in Applied Mathematics and Computation, University of Aveiro Research Interests: Formal specification of software Dynamic/Modal logics Cyber-physical systems Quantum programming Algebraic specification Fuzzy logics Projects: DaLí: Dynamic logics for cyber-physical systems (coordinator) Ibex: Quantitative methods for cyber-physical programming Klee: Coalgebraic modeling in synthetic biology Awards: Portuguese IBM Scientific Prize (2013) Best paper nominee at SEFM 2019 for Hybrid Dynamic Logic Academic Engagement: Co-chair of the DaLí Workshop series PC member for SEFM, CALCO, and others Editor of multiple conference proceedings and journal special issues

Jorge Sousa Pintoمشاهده پروفایل

دانشیار

• Deductive Program Verification
• Software Model Checking
• Formal Verification
• +۳ مورد دیگر

Jorge Sousa Pinto is an Associate Professor at the Department of Informatics, University of Minho, and a researcher at HASLab/INESC TEC since 2011. He holds a PhD (2001) from École Polytechnique and a Habilitation (2015) from the University of Minho. His research focuses on deductive program verification, model checking, and formal methods, with contributions to tools like Frama-C and Why3. He co-authored the textbook Rigorous Software Development: an Introduction to Program Verification . Education: Docteur de L'Ecole Polytechnique (Paris), 2001 Habilitation, University of Minho, 2015 Research Interests: Deductive verification, formal methods, dynamic logic, distributed systems, and database application validation. Recent publications emphasize verification tool development (e.g., Why3-do for distributed systems) and applying formal methods to space software and databases. His work on the AVIACC project highlights contributions to verification frameworks. No scientific awards explicitly mentioned, but his roles include coordinating major research initiatives and contributing to foundational textbooks. Advised multiple theses on topics like blockchain systems, Why3 formalizations, and distributed algorithm verification. Collaborates on projects such as DBverify and the Why3 platform. Associated with the High-Assurance Software Centre at INESC TEC, focusing on software safety and reliability.

Alessandro Gianolaمشاهده پروفایل

استادیار

• Formal Verification
• Business Process Management (BPM)
• Automated Reasoning
• +۶ مورد دیگر

Alessandro Gianola is a Tenure Track Assistant Professor at the Department of Computer Engineering, College of Engineering, University of Lisbon, and a Senior Researcher at INESC-ID. He earned a PhD in Computer Science cum laude from the Free University of Bozen-Bolzano. Research Focus: Business Process Management, formal methods, AI verification of data-aware processes, multi-perspective process mining, and constraint-based reasoning. Awards: ECAI 2024 Outstanding PC Member, 2024 INESC-ID Best Young Researcher, 2023 CADE Bill McCune PhD Award, and multiple best paper awards. Education: PhD in Computer Science (Free University of Bozen-Bolzano, 2022). His recent publications analyze data-aware processes using SMT techniques, with applications in conformance checking, model checking, and formal verification. He leads projects like FCT OptiGov and INESC-ID eProcess. Conference Leadership: PC Co-chair for EDOC 2025, Workshops Co-chair for FLoC 2026, and co-chair for multiple FM-BPM workshops. Research Groups: ELLIS, LUMLIS, ARSR, OVERLAY, and former KRDB Research Centre.

• Broadband technologies
• Multiservice networks
• Mobile networks
• +۴ مورد دیگر

Paulo Manuel Martins Carvalho serves as Associate Professor in Computer Communications at the Department of Informatics, School of Engineering, University of Minho, Portugal. He is also a Senior Researcher at the Algoritmi research center, actively contributing to both the Computer Communications and Pervasive Media (CCPM) R&D Group and the CCN R&D Lab. Carvalho earned his Systems and Informatics Engineering degree from the University of Minho in 1991 and completed his PhD in Computer Science at the University of Kent at Canterbury in 1997. His academic journey reflects a deep commitment to network technologies and communications engineering, with continuous scholarly contributions since the early 2000s. Associate Professor, Department of Informatics, School of Engineering, University of Minho Senior Researcher, Algoritmi Research Center Member, Computer Communications and Pervasive Media (CCPM) R&D Group Member, CCN R&D Lab Scientific Coordinator, Doctoral Programme in Computer Science (MAP-i) Carvalho's research expertise spans broadband technologies, multiservice networks, mobile networks, and teletraffic analysis. His scholarly output demonstrates remarkable evolution from fundamental network theory to practical implementations in wireless sensor networks, IoT, and network monitoring systems. He has made significant methodological contributions to traffic sampling techniques and network security frameworks while maintaining relevance to contemporary technological challenges. His publication record includes 111 papers with 404 citations and an h-index of 10. Recent work (2020-2024) reveals a strategic shift toward interdisciplinary applications connecting computer science with civil engineering (pavement monitoring), environmental science (water quality assessment), and aerospace manufacturing. This diversification reflects both theoretical depth and practical problem-solving across multiple domains without compromising technical rigor. TPC Member for major international networking conferences Regular reviewer for IEEE/ACM journals Coordinator for Doctoral Programme in Computer Science (MAP-i) Contributor to Master's programs in Informatics Engineering and Networks Engineering Carvalho's laboratory work centers on the CCPM R&D Group and CCN R&D Lab at Algoritmi Research Center, where he leads research initiatives focused on network communications, pervasive media technologies, and their real-world applications. His team has developed innovative approaches to network measurement, traffic analysis, and quality of service management that have influenced both academic research and practical implementations in various industries.

• Software Engineering
• Process Mining
• Software Development Analytics
• +۳ مورد دیگر

João Caldeira is a researcher affiliated with Universidade Lusófona in Lisbon, Portugal. His work focuses on empirical software engineering, particularly in the areas of process mining and software development analytics. He has contributed to peer-reviewed journals and conferences, with a consistent publication record from 2016 to 2023. His research interests center on leveraging data analytics to understand and improve software development processes. Key themes include refactoring practices, team efficiency, and process conformance in real-world software projects. His work applies process mining techniques to extract insights from development workflows, aiming to enhance software quality and productivity. The trends in his publications indicate a sustained focus on data-driven software engineering. He employs systematic reviews and empirical studies to analyze development practices, with applications in industrial and academic settings. His work bridges software engineering theory and practical implementation. João Caldeira has not been publicly associated with any scientific awards or honors in the provided text. There is no information available regarding student advisement or research grants. Similarly, no details are provided about leadership roles, funded projects, or collaborative initiatives. No information is available about labs, research teams, or institutional research groups he may be part of.