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

Luis Soares Barbosaمشاهده پروفایل

استاد

• Program Semantics
• Modal Logic
• Coalgebra
• +۵ مورد دیگر

Luis Soares Barbosa is a full professor at the Computer Science Department of Universidade do Minho and a senior researcher at HASLab INESC TEC. He is also affiliated with the International Iberian Nanotechnology Laboratory (INL) as part of the Quantum and Linear Optical Computation Group. He holds a second academic role as Deputy Head of the UNU-EGOV unit at the United Nations University. Barbosa chairs IFIP Technical Committee TC1 on Foundations of Computer Science and serves on IFIP WG1.3 and WG1.11/2.17. His research focuses on program semantics, coalgebra, modal logic, and quantum computation, aiming to establish rigorous mathematical foundations for software engineering. He teaches courses on quantum logic, concurrency, and quantum computation at the master’s level. Research Interests: Barbosa’s work bridges theoretical computer science with practical applications, emphasizing formal methods, coalgebraic systems, and quantum algorithms. His quantum research explores computational advantages and privacy-preserving protocols, while his classical work addresses software verification and concurrency. Recent efforts include paraconsistent transition systems for modeling inconsistent states and quantum policy gradients in machine learning. Lab/Tech Teams: Leads the Logic and Formal Methods group and collaborates with the High Assurance Software lab (HASLab). Active in interdisciplinary teams at INL and UNU-EGOV. Grants/Advising: Supervises students/postdocs in quantum computing, formal methods, and cyber-physical systems. Coordinates projects funded by national/international bodies, including EU initiatives on quantum algorithms and digital governance.

• Wireless Sensor Networks
• Precision Agriculture
• Smart Cities
• +۵ مورد دیگر

Carlos Manuel José Alves Serôdio is an Associate Professor with Habilitation at the Engineering Department of the School of Sciences and Technology, University of Trás-os-Montes and Alto Douro. He is a Senior Researcher and member of the Embedded Systems Research Group (ESRG) and Industrial Electronics R&D Group at ALGORITMI Center (University of Minho). Previously, he collaborated with CITAB from Fev. 2016 to Dec. 2023. His research expertise spans Wireless Sensor Networks, Precision Agriculture, Smart Cities, and Indoor Localization . Recent publications highlight work in Cybersecurity for Connected Vehicles, Edge AI for Anomaly Detection, and Sustainable Irrigation Systems , reflecting interdisciplinary applications of IoT, 6G, and Blockchain technologies. With an h-index of 12 and 81 citations , Serôdio has supervised 60 MSc and 5 PhD students. He has contributed to program committees of international conferences and served as a reviewer for journals. His lab affiliations include ESRG (ALGORITMI) and CITAB (UTAD) .

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

استاد

• Artificial Intelligence
• Constraint Satisfaction and Optimization
• Automated Reasoning
• +۲ مورد دیگر

Inês Lynce is a Professor at the Department of Computer Engineering within the Instituto Superior Técnico (University of Lisbon) and a researcher at INESC-ID Lisboa . Her research focuses on Artificial Intelligence, Constraint Satisfaction and Optimization, Automated Reasoning, Formal Methods, and Bioinformatics. She leads multiple research projects, including RIGA (Indirect Discrimination Analysis), GOLEM (Automated Programming), and LAIfeBlood (AI for Blood Management), funded by FCT and EU programs. Education: While specific academic qualifications aren't listed, her roles and research output indicate advanced degrees in Computer Science/Engineering. Her work bridges theoretical computer science and practical applications, with a strong emphasis on Satisfiability (SAT) solving, constraint programming, and AI-driven solutions for complex systems. She has organized major conferences like SAT 2019 and ECAI 2025 , and serves on editorial boards for journals including Artificial Intelligence Journal and Journal on Satisfiability . Her awards include the INESC-ID Young Researcher Award (2009), APPIA PremiA Award (2009), and UTL/Deloitte Young Researcher Award (2008). Professional activities span program committee roles for AAAI , IJCAI , and CP conferences, reflecting her leadership in AI and constraint-based research. Teaching activities are managed through Fenix IST, and she collaborates with initiatives like CompSustNet for interdisciplinary research. Her work has been applied to diverse domains, including transportation scheduling, bioinformatics modeling, and cybersecurity protocol analysis.

• Computational Modeling
• Mathematics
• Education Systems
• +۲ مورد دیگر

Patricia Engrácia is an Assistant Professor in the Department of Social and Business Sciences at Iscte - University Institute of Lisbon, where she also serves as Deputy Director of the School of Applied Digital Technologies. She holds a PhD in Mathematics from the University of Lisbon (2005-2009) and additional qualifications in Applied Mathematics. Engrácia is an Associate Researcher at ISTAR-Iscte - Research Center in Information Sciences, Technologies and Architecture, specializing in Computational Modeling of Systems. Her research spans computational modeling, mathematical logic, and education systems analysis. Engrácia's work includes foundational studies in proof theory and functional interpretation, as well as extensive research on educational outcomes, equity metrics, and student progression in Portuguese education systems. Engrácia's publications demonstrate two primary research trajectories: (1) theoretical work in mathematical logic and proof theory, focusing on bounded functional interpretations and their applications; and (2) applied education research analyzing student pathways, academic success indicators, and equity metrics in basic, secondary, and higher education systems. Her recent work emphasizes longitudinal studies of student outcomes and educational equity assessments. As an active researcher, she contributes to multiple institutional reports on education metrics while maintaining her foundational work in computational logic. Her affiliations with both technical (Applied Digital Technologies) and social science (Social and Business Sciences) departments reflect her interdisciplinary approach to computational modeling applications.

Andreia Mordidoمشاهده پروفایل

استادیار

• Programming Languages
• Type Systems
• Logic
• +۲ مورد دیگر

Andreia Mordido serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences, University of Lisbon, and is an integrated researcher at LASIGE. She previously conducted research as a visiting scholar at Carnegie Mellon University's Principles of Programming (PoP) group during Fall 2019. Her academic credentials include: Ph.D. in Information Security (2017), Instituto Superior Técnico, University of Lisbon M.Sc. in Mathematics and Applications (2011), Instituto Superior Técnico, University of Lisbon B.Sc. in Mathematics (2009), Faculty of Sciences and Technology, New University of Lisbon Her research centers on programming languages and type systems for specifying and verifying communication protocols, with earlier contributions to probabilistic/equational logics for cryptographic protocol security and probabilistic satisfiability solvers. Primary interests span Programming Languages, Type Systems, Logic, Satisfiability Problems, and Probabilistic and Equational Reasoning. Analysis of her 15 most recent publications reveals a concentrated research trajectory in session types and protocol verification, with increasing sophistication in handling nested protocols, context-free session types, and higher-order abstractions. Her work bridges theoretical foundations in type theory with practical applications in concurrent and distributed systems, particularly evident in blockchain and smart contract domains. Scientific recognition includes: Distinguished Paper Award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism" Dr. Mordido has secured involvement in multiple research initiatives: SafeSessions: Safe Concurrent Programming with Session Types Confident: Communication contracts for distributed systems development ASGARD: Analysis system for gathered raw data ECOSSIAN: European Control System Security Incident Analysis Network ComFormCrypt: Computational Semantics of Formal Methods in Cryptography Co-evolution and self-organization of cooperation Her teaching portfolio spans Domain-Specific Languages, Object Oriented Development, Introduction to Programming, and Theory of Computation across Faculty of Sciences (2018-present) and Instituto Superior Técnico (2012-2016), demonstrating consistent engagement with both theoretical and applied computer science education. As an LASIGE researcher, she contributes to Portugal's premier software engineering research laboratory focused on advanced computing solutions and formal methods.

Christine Rochangeمشاهده پروفایل

استاد

• Real-Time Systems
• Worst-Case Execution Time (WCET) Analysis
• Timing Predictability
• +۳ مورد دیگر

Christine Rochange is a Professor at the University of Toulouse, affiliated with the IRIT research lab and the TRACES research group. Her work focuses on worst-case execution time (WCET) analysis for hard real-time systems, timing predictability in parallel architectures, and time-aware hardware design. She coordinates major projects such as TOAST (a French initiative for time-oriented critical systems) and leads the TACLe project's Working Group 1 on timing models. Her research addresses challenges in multi-core WCET analysis, synchronization overhead reduction, and mixed-critical systems. Key contributions include the OTAWA static WCET analysis toolset and foundational work on time-predictable architectures. She has supervised PhD students in areas like parallel real-time task scheduling and bus arbitration schemes. Rochange actively participates in program committees for conferences like ECRTS and RTAS, and teaches courses on computer architecture, parallel programming, and real-time systems at Université Paul Sabatier. Her recent articles explore formal verification of processor pipelines, timing predictability in GPUs, and hardware-software co-design for embedded AI applications. She has coordinated international collaborations through projects like parMERASA (EU FP7) and W-SEPT (ANR), advancing the state-of-the-art in real-time systems predictability.

Igor Sedlárمشاهده پروفایل

پژوهشگر

• Modal Logic
• Non-Classical Logic
• Dynamic Logics
• +۵ مورد دیگر

Igor Sedlár is a researcher at the Czech Academy of Sciences (CAS) in Prague, affiliated with the Institute of Computer Science (ICS CAS) in the Department of Theoretical Computer Science, where he is part of the LogICS group. He holds a part-time position in the Department of Logic at the CAS Institute of Philosophy. His work primarily focuses on modal and non-classical logics, dynamic logics, and their applications in modeling information dynamics. He has led projects such as the Czech-Taiwanese KATRA project (2025-2027) and the Czech Science Foundation-funded GRADLACT project (2022-2024). Sedlár teaches courses in dynamic logic and non-classical reasoning at Charles University and Czech Technical University. He serves as deputy head of the Department of Theoretical Computer Science at ICS CAS and on program committees for conferences like Logica, DaLí, and AiML. His research interests include epistemic logic, temporal logic, and the formal analysis of reasoning systems.

• Operations Research
• Water Resources Management
• Sustainable Infrastructure
• +۴ مورد دیگر

Francisco Silva Pinto is a researcher at Universidade Lusófona, specializing in Numerical Modeling and Operations Research applied to infrastructure systems, particularly water supply, sanitation, and flood management. His work bridges governance , tariff design , and climate change adaptation in utility sectors. Expertise in Multicriteria Decision Analysis , Portfolio Optimization , and Data Mining Focus on regulatory governance , nature-based solutions , and sustainable housing His recent publications emphasize water security , resource efficiency , and transdisciplinary collaboration in developing countries. He has contributed to projects like the FANFAR flood forecasting system in West Africa and developed frameworks for wastewater reuse and material tracking in construction . Francisco coordinates R&D initiatives , teaches in academic programs, and serves as a reviewer for ISI journals. His work includes policy design for universal water coverage and assessing the economic feasibility of desalination projects.

• Data Journalism
• Data Visualization
• Audience Analysis
• +۳ مورد دیگر

Ilo Alexandre is an Assistant Professor at Lusófona University and holds visiting assistant professor positions at Universidade NOVA de Lisboa and Universidade Europeia. He serves as a research scientist at CICANT (Lusófona University) and is a research member at iNOVA Media Lab (ICNOVA) and UT Austin's Computational Media Lab. Education: Ph.D. in Digital Media (specializing in Journalism) from Universidade NOVA de Lisboa (UT Austin Program), Portugal Master's in Novos Media e Práticas Web Bachelor's in Comunicação Social - Jornalismo His research focuses on data journalism and audience interaction with data visualizations in news media, combined with digital methods for innovative media analysis. Key areas include performance evaluation of data-driven journalism, historical development of data journalism in Portugal, and contemporary social media dynamics in political communication. Recent publications (2020-2025) reveal three dominant trends: computational analysis of social media during global events (World Cup, protests), data visualization performance metrics in journalism, and historical studies of data journalism in 19th century Portuguese press. His work spans Portuguese media contexts with increasing focus on TikTok, Facebook, and Twitter analytics. Scientific awards: None mentioned in the provided text. Advising and grants: No information about students or research funding in the source material. Research labs: CICANT (Communication and Society Research Centre) at Lusófona University iNOVA Media Lab (ICNOVA) Computational Media Lab at UT Austin

• Public Policy
• Public International Law
• Law of the Sea
• +۷ مورد دیگر

Pedro Quartin Graça is an Assistant Professor in the Department of Political Economy at ISCTE - University Institute of Lisbon and an Integrated Researcher at DINÂMIA'CET-Iscte, the Center for Studies on Socioeconomic Change and Territory. He is also affiliated with the Interdisciplinary Center for Marine and Environmental Research at the University of Porto. He holds a PhD in Public Policy from ISCTE, a Master’s in European Societies and Policies, and a law degree from the University of Lisbon, along with a DEA in Public Law from the University of Extremadura, Spain. Bachelor's Degree in Law, Faculty of Law, University of Lisbon (1990) Postgraduate in Health Law and Bioethics, National School of Public Health (1990) Postgraduate in Environmental Law, Catholic University of Portugal (1987) Postgraduate in International Finance, Center for International Development Studies (1989) Postgraduate in Political Science, Institute of Political Studies (1989) Postgraduate in Urban Rehabilitation, ISCTE (1994) Master’s in Sociology, ISCTE (1997) Diploma of Advanced Studies in Public Law, University of Extremadura (2004) PhD in Public Policy, ISCTE (2014) Technical Specialization in EQAVET Verification, ANQEP (2020) His research focuses on public policy, international law, maritime law, consumer protection, advertising regulation, and European legal frameworks. He has published extensively in Portuguese, German, and Chinese, with a particular emphasis on the legal status of islands, maritime sovereignty, and regulatory models. His work bridges legal scholarship with policy development, especially in marine governance and sustainable development. His recent publications reflect a strong trend in maritime legal studies, particularly on the role of islands in continental shelf formation, submarine cable sovereignty, and the legal status of the Selvagens Islands. These works are grounded in the United Nations Convention on the Law of the Sea (UNCLOS) and contribute to national and international debates on ocean governance, maritime borders, and digital consumer rights. Editor-in-Chief, REM - Journal of Marine Studies (since 2019) Editor, Academia.edu Editor Program (since 2021) Member of the Editorial Board, Journal of the Master's in Law, Catholic University of Brasília (2022–2023) Member of the Technical and Scientific Committee for UNESCO World Heritage Candidacy of Selvagens Islands (since 2016) Member of the Review and Advisory Board for the National Maritime Strategy until 2030 (2023) Pedro Quartin Graça has supervised and coordinated multiple graduate programs, including the Master’s in Marine Governance and Sustainability and the Master’s in Business and Labor Law. He has held leadership roles such as Director of these programs and Deputy Director of the Department of Political Economy. He has also participated in national and international advisory bodies related to vocational education, higher education accreditation, and public administration reform. His work is supported by extensive teaching experience in China, Timor-Leste, and Angola, reflecting a strong commitment to global academic collaboration. He is actively involved in research teams and centers including DINÂMIA'CET-Iscte and the Interdisciplinary Center for Marine and Environmental Research. His leadership in the Marine Governance program and editorial roles in maritime law journals position him at the forefront of ocean policy research in Portugal.

• Quantum Computing
• Cyber-Physical Systems
• Programming Languages
• +۳ مورد دیگر

Renato Neves is an Assistant Professor at the University of Minho's Department of Informatics. His research focuses on Quantum Computing, Cyber-Physical Systems, and Programming Languages, with an emphasis on formal semantics and hybrid systems. He has contributed to foundational work in category theory applied to computational models and has led multiple research projects in quantum software engineering and formal methods. Education: Ph.D. in Computer Science (not explicitly stated but inferred from research output) His teaching includes courses on Quantum Computing and Cyber-Physical Systems at the undergraduate and doctoral levels. He has been principal investigator (PI) or co-investigator (co-I) on projects like Ibex (2022-2024) and CTRL-F (2022-2025), advancing computational methods in quantum and hybrid systems. Key research themes include hybrid automata, coalgebraic semantics, and formal verification. His work bridges theoretical computer science with practical applications in programming languages and quantum software engineering.

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

استادیار

• Formal Methods
• Program Verification
• Type Systems
• +۳ مورد دیگر

Maria João Frade is an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC. She holds a PhD in Computer Science from the University of Minho (2004). Her research focuses on formal methods, program verification, type systems, and logic, with contributions to foundational aspects of program logics and verification tool certification. Education: PhD in Computer Science, University of Minho (2004) Research Interests: Formal verification techniques Dynamic and Hoare logics Verification condition generation Program analysis and transformation Her work emphasizes meta-verification of verification tools, exploring soundness/completeness proofs for systems like Why3 and KeY. Publications: Recent work includes studies on lambda-calculus naturality, dynamic logic-based VCGen verification, and generalized program verification frameworks. These contributions highlight advancements in foundational aspects of program verification methodologies. Advising: Supervised theses include work on Why3 formalizations (2022), single-assignment program transformations (2016), and test generation platforms (2018). Labs/Teams: Active member of HASLab/INESC TEC, collaborating on high-assurance software systems research.

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

استاد

• Models of concurrency and distribution
• Foundations of cloud computing
• Language-based techniques for low-code software development
• +۵ مورد دیگر

Carla Ferreira is a Full Professor in the Computer Science Department at NOVA University of Lisbon and a researcher at NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the Software Systems research group. Her academic career began as an Assistant at Universidade do Minho, followed by positions at the University of Southampton's Dependable Systems & Software Engineering Group, and later as an Assistant Professor at IST before joining her current position at NOVA University Lisbon. Her primary research interests focus on Models of concurrency and distribution , Foundations of cloud computing , and Language-based techniques for low-code software development . She has made significant contributions to distributed systems, particularly in the areas of data replication, consistency models, and programming languages for distributed environments. Her work bridges theoretical foundations with practical applications in cloud and edge computing systems. Dr. Ferreira's recent publications demonstrate a strong focus on low-code development platforms, particularly the OSTRICH language framework she has developed, as well as replicated data types, spatio-temporal monitoring systems, and ontology-based approaches to software development. Her research consistently addresses the challenges of building reliable distributed systems while improving developer productivity through language-based techniques. She has served on the program committees of numerous prestigious conferences including ECOOP, FORTE, POPL, and TACAS, demonstrating her standing in the programming languages and distributed systems communities. As an academic advisor, Dr. Ferreira has supervised numerous PhD and MSc students, both ongoing and completed, working on topics ranging from distributed databases to low-code development and formal verification. She has also led significant research projects including PRECISE (as Principal Investigator), GOLEM, LightKone, and currently TaRDIS (Trustworthy and Resilient Decentralised Intelligence for Edge Systems).

Mário Pereiraمشاهده پروفایل

استادیار

• Deductive Software Verification
• Program Verification
• Formal Methods
• +۴ مورد دیگر

Mário Pereira is an Assistant Professor at NOVA School of Science and Technology, NOVA University of Lisbon. He is also an Integrated Member of NOVA LINCS (NOVA Laboratory of Computer Science and Informatics). Dr. Pereira's research focuses on Deductive Software Verification , with particular expertise in program verification techniques and tools. His work centers on the deductive verification of OCaml programs, where he has developed tools and techniques as part of his Marie Sklodowska-Curie project "Cameleer." He is an enthusiast of the Why3 verification tool and the auto-active approach to program verification. His research spans formal methods, type systems (including refinement types and intersection types), and the development of verified software libraries. Among his notable achievements, Dr. Pereira was a Marie Sklodowska-Curie Fellow from June 2020 to May 2022, working on the Cameleer project at NOVA-LINCS. This prestigious fellowship supported his research in developing tools for the deductive verification of OCaml programs. Dr. Pereira has extensive teaching experience, having served as a teaching assistant since 2016. At FCT/Universidade Nova de Lisboa since 2020, he has taught courses including Theory of Computation and Analysis and Design of Algorithms. Previously, he taught at École Polytechnique in France, where he assisted in courses such as Introduction to Computer Science, Programming and Algorithms Basis, Advanced Programming, and Compilers. As an active member of the research community, Dr. Pereira contributes to several open-source software projects related to program verification, including Cameleer (a deductive verification tool for OCaml), Why3 (a software verification framework), OCamlGraph (a graph library for OCaml), and VOCaL (the Verified OCaml Library). He maintains an active GitHub presence under the username mariojppereira.

Gianluca Meloniمشاهده پروفایل

دانشیار

• Management Control Systems
• Performance Measurement
• Budgeting and Forecasting
• +۳ مورد دیگر

Gianluca Meloni serves as Associate Professor of Practice of Accounting and Control at SDA Bocconi School of Management, Bocconi University, where he has been Accounting and Control Faculty Deputy since January 2017. He teaches Performance Measurement at Università Bocconi and has collaborated with SDA Bocconi since 1995, instructing courses including Planning & Control Systems and Reporting Systems and Performance Evaluation for leading manufacturing and retail firms. His educational credentials include a Business Administration degree from Università Bocconi, the International Teachers Programme (IMD, 2006), and Harvard Business School's Global Colloquium (2012). Professor Meloni's research centers on three interconnected domains: reporting systems and performance evaluation in commercial enterprises; predictive analytics' impact on budgeting and forecasting; and synergies between management control systems and business intelligence. His work consistently bridges theoretical frameworks with practical industry applications, emphasizing strategic alignment and performance diagnostics. His recent publications demonstrate evolving focus toward strategic execution integration, transfer pricing mechanisms, and variance analysis within performance management systems. These works highlight growing intersections between predictive analytics and traditional control frameworks in commercial contexts. He received the Teaching Award from Università Commerciale Luigi Bocconi's Graduate School in 2019 and 2021. As an active consultant, Professor Meloni advises industrial, trading, and service companies while serving as reviewer for the Universal Journal of Management. His authored works appear in HBR Italia, Economia & Management, and Sistemi e Impresa. He directs multiple executive programs including the Programma di sviluppo manageriale and CFO program, focusing on strategic skill development without career interruption.