Find Academic Supervisors

José Bernardo BarrosView profile

Associate Professor

• Formal Methods
• Programming Languages
• Program Correctness
• +4 more

José Bernardo Barros is an Associate Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC since 2011. He earned a D.Phill in Computation from the University of Oxford. His research focuses on formal aspects of programming, including program correctness, methods for building reliable software, and formal verification techniques. He has taught courses on functional and imperative programming, algorithms, and complexity for two decades. Research interests emphasize formal methods for software engineering, with contributions to program slicing algorithms and semantics of non-terminating systems. His work combines axiomatic semantics with practical applications like dead code elimination. He is part of the MFES team in the MSc in Informatics Engineering program. Publications highlight advancements in slicing techniques and formal semantics, with notable contributions to specification-based slicing and rewrite system analysis. Supervised theses include development of franchise management platforms. Affiliated with INESC TEC, he actively contributes to high-assurance software research.

• Cyber-Physical Systems
• Quantum Computing
• Programming Languages
• +6 more

Renato Jorge Neves is a Senior Researcher at the University of Minho and an Auxiliar Professor affiliated with the High-Assurance Software Centre (INESC TEC) . His research focuses on the foundations of cyber-physical systems, quantum computing, and programming language semantics. He holds a PhD from the MAP-i doctoral program, specializing in logics and calculi for cyber-physical components. His academic contributions span coalgebraic methods, proof theory, and institutional frameworks. He has led and participated in projects such as Ibex (quantitative cyber-physical programming) and CTRL-F (computational effects). He teaches courses on cyber-physical systems, quantum computing, and program calculus at the University of Minho. Neves has supervised multiple theses, including works on quantum language integration (e.g., iQbricks ) and hybrid system simulation. His recent publications explore quantitative lambda-theories, metric-enriched categories, and probabilistic concurrency models. He actively engages in academic service, including invited talks at FACS'22 and contributions to venues like CSL, CONCUR, and TCS.

• Intercultural History
• History of Knowledge
• Visual Culture in Early Modern Europe
• +3 more

Marília dos Santos Lopes is a Researcher at the Research Centre for Communication and Culture (CECC) and the Research Centre on Peoples and Cultures (CEPCEP) at Universidade Católica Portuguesa's Faculty of Human Sciences . She holds a PhD in History from the University of Bamberg and has been a coordinator of the research project on History and Historiography in Germany and Portugal at the Interuniversity Research Centre for German Studies (CIEG). Her key roles include: Senior Fellow at Herzog August Bibliothek (2014-2017) Project Coordinator for "A História na Era da (Des)Informação" Contributor to edited books on Renaissance knowledge exchange Education: PhD in History, University of Bamberg Research Interests focus on intercultural issues , the history of knowledge , and visual culture in Early Modern Europe . She explores topics like: Circulation of knowledge between Portugal and Germany Material culture and colonial artifacts Travel literature and narrative dynamics Her recent articles emphasize maritime exploration, transcultural encounters, and the role of artifacts in shaping European perceptions. Scientific awards include a Senior Fellowship at Herzog August Bibliothek. She collaborates with international institutions and contributes to projects like "Congo" and "The Inner Sea: Maritime Literary Culture" .

David PereiraView profile

Lecturer

• Formal Verification
• Real-Time Systems
• Programming Languages
• +3 more

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.

• Programming Languages
• Concurrent and Distributed Systems
• Formal Methods
• +4 more

Luis Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa (University of Lisbon). He is also a Core Researcher at INESC-ID and an ERA Chair Holder under the H2020 BIG initiative. Previously, he served as Full Professor at NOVA FCT’s Department of Computer Science and founded the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theoretical foundations and practical applications of programming languages, emphasizing the development of trustworthy concurrent, distributed, and decentralized systems. Key themes include type systems for resource management in concurrent environments, formal logics (types, process algebra), and tools for compiler design and abstract machines. He also explores interdisciplinary areas like computational theories of mind and quantum programming models. Caires has extensive teaching experience, lecturing 23 courses across BSc, MSc, and PhD levels, including foundational programming courses and advanced topics in formal languages, verification logics, and software security. He coordinated 87 course editions between 1992 and 2023. Professional service includes PC roles at major conferences (ECOOP ’25, FoSSaCS ’25, LICS ’25/’26). His work bridges foundational research with system-building, addressing challenges in concurrency, security, and distributed computing.

• Self-organizing Network Systems
• 5G and Wireless Networks
• Network Automation
• +4 more

Paulo Mendes is an Associate Professor at the University of Lusófona, where he directs the doctoral program in Informatics - New Media and Fuzzy Systems (NEMPS). Concurrently, he serves as an associate researcher at the ISTAR center at ISCTE - University Institute of Lisbon. His academic journey includes a Ph.D. in Computer Engineering from the University of Coimbra (2000–2004), conducted partly at Columbia University, a Master's in Electrical and Computer Engineering from the Technical University of Lisbon (1997–1999), and a Bachelor's in Computer Engineering from the University of Coimbra (1988–1993). His research integrates self-organizing networks , 5G/wireless systems , and mobile edge computing , with recent emphasis on LEO satellite routing and information-centric Metaverse architectures. His publications demonstrate consistent focus on network efficiency, opportunistic protocols, and human-centric systems. Professional highlights include founding the COPELABS research center, co-founding startup Senception LDA, and memberships in ACM SIGCOMM/IEEE. He contributes to IETF/IRTF standardization and holds 13 international patents alongside 100+ publications.

• Data Science
• Business Analytics
• Machine Learning
• +8 more

Jorge Manuel Pereira Duque is an Adjunct Professor at ISLA – Instituto Politécnico de Gestão e Tecnologia in Vila Nova de Gaia and at Universidade Lusófona in Porto, where he contributes to the Department of Informatics. He holds a PhD in Informatics from UTAD and is currently engaged in a postdoctoral program focusing on Data Science and Machine Learning for intelligent organizational tools. Education: PhD in Informatics, UTAD (2018) Master in Information and Communication Technologies, UTAD (2009) Bachelor in Information Systems and Multimedia Management, ISLA (2007) Postdoctoral Research, UTAD (ongoing) His research is centered on Data Science, Business Analytics, and Information Systems Management, with a focus on applying Machine Learning and Data Mining to decision support in organizations, smart cities, and public administration. His work bridges technical innovation with practical applications in CRM, IoT, and knowledge management. He has published extensively in Springer, Elsevier, and Procedia Computer Science, often employing design science research methodologies. The most recent publications show a strong trend toward intelligent systems for urban environments (e.g., traffic event detection, smart cities), AI in education, and advanced data mining for business intelligence. His work integrates real-world data from social networks and municipal systems to build predictive and adaptive models. Scientific Recognition: Active participation in international conferences (AMCIS, CISTI, WorldCist) Organizer of the Workshop on Data Science and Analytics for Decision Support (iSCSi 2022) Contributor to ISI, Scopus, and EI-indexed publications ORCID: 0000-0003-4939-6176 He has advised academic panels and evaluated master’s theses, demonstrating academic leadership. While specific grants are not mentioned, his involvement in research centers and postdoctoral work suggests active research funding. He coordinates the Bachelor’s in Computer Science for E-Commerce and the Postgraduate program in Analytics and Business Data Science at ISLA, as well as leading a research line at the ISLA Research Center in V. N. de Gaia. Laboratories and Research Teams: Research Line Coordinator, ISLA Research Center, V. N. de Gaia Postdoctoral Researcher, UTAD – focused on intelligent data science tools Organizer and contributor to international research workshops

Arnaldo PereiraView profile

Assistant Professor

• Artificial Intelligence
• Intelligent Systems
• Semantic Data
• +3 more

Arnaldo Pereira is an Invited Assistant Professor at the Instituto Politécnico de Bragança. He holds a Ph.D. in Informatics from a collaborative program between the University of Aveiro, University of Porto, and University of Minho (MAPi), focusing on semantic data querying and visualization. His research interests include Artificial Intelligence, Intelligent Systems, and their applications in biomedical informatics and FAIR data practices. He has contributed to European research projects advancing data integration and control systems. Education: Ph.D. in Informatics (Collaborative Program: University of Aveiro, University of Porto, University of Minho) Research Interests: Dr. Pereira specializes in semantic data technologies, FAIR data principles, and their application to biomedical database systems. His work emphasizes query optimization, visualization tools for complex data, and the development of interoperable systems in healthcare and industrial contexts. Recent efforts focus on collaborative workshops (BYOD) to enhance data management practices and knowledge sharing in interdisciplinary environments. Key Research Trends (2020–2024): His publications highlight advancements in FAIR-compliant tools, semantic querying of biomedical databases, and the integration of AI-driven approaches for data accessibility and system monitoring. Earlier work includes contributions to industrial cyber-physical systems, KPI optimization, and agent-based enterprise architectures. Grants & Collaborations: Active participant in EU-funded research projects focusing on data integration and intelligent systems. No specific grant details provided in the text. Labs/Teams: Affiliated with computational and biomedical informatics groups at his institution, though specific lab names are not mentioned.

Luis Soares BarbosaView profile

Professor

• Program Semantics
• Modal Logic
• Coalgebra
• +5 more

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.

• information systems
• knowledge management
• open innovation
• +7 more

Isabel Maria Pinto Ramos is an Associate Professor with Habilitation at the Department of Information Systems, School of Engineering, University of Minho , where she leads the ISTTOS R&D Lab and contributes to the Algoritmi Research Centre . She has held leadership roles including Head of Department of Information Systems and President of the Portuguese Association for Information Systems . Her career spans academic, research, and international collaboration roles, including a Visiting International Professor position at the University of Münster, Germany. Academic Leadership : Doctoral Programme Director (2014-2019), IFIP TC8 Chair (2019-2023), Vice President for Membership Services at Association for Information Systems (2022-2025) Research Themes : Innovation management, knowledge systems, digital transformation, crowdsourcing, organizational memory, gender in STEM, and technology's socio-cultural impacts International Engagement : Collaborations with Carnegie-Mellon, University of Agder, Georgia State, and Federal University of Santa Catarina through research projects and mobilities Scientific Recognition : IFIP Outstanding Service Award (2009) IFIP Silver Core Award (2013) IIAKM Lifetime Academic Achievement (2021) Editorial Contributions : Associate Editor for Communications of the AIS (since 2020), editorial board member for Enterprise Information Systems , International Journal of Knowledge Engineering , and Revista de Administração Mackenzie Project Involvement : ERASMUS+, Horizon 2020, FP7 programs with focus on digital workplaces, knowledge management, and organizational resilience Her scientific output demonstrates consistent exploration at the intersection of Information Systems and Organizational Innovation , with recent works focusing on Digital Transformation (2021-2025), Crowdsourcing Platforms (2009-2016), and Organizational Memory (2005-2014). The 2023-2025 publications particularly emphasize Smart City Resilience , Multigenerational Workforce Challenges , and AI Development Democratization .

• Information Systems
• NoSQL Databases
• Formal Modeling of Organizations
• +7 more

Pedro Ramos is a Full Professor and Director at the Department of Information Science and Technology (ISTA), ISCTE-IUL University Institute of Lisbon. He is also an Integrated Researcher at ISTAR-Iscte, a leading research center in Information Sciences, Technologies, and Architecture. His academic leadership includes directing various degree programs and serving on institutional governance bodies such as the Scientific Committee and General Council. PhD in Information Sciences and Technologies (ISCTE-IUL, 1999) Master's in Business Sciences (ISCTE-IUL, 1992) Bachelor's in Business Organization and Management (ISCTE-IUL, 1988) His research focuses on Information Systems , NoSQL databases , formal modeling of organizations , and big data management . He explores applications in distributed systems, semantic web, and data mining for business intelligence and public policy. His work bridges theoretical modeling and practical implementation in enterprise IT environments. His recent publications span high-impact journals in transportation, tourism, education, and information systems. Key themes include semantic interoperability in bibliographic data , passenger rail disruption management , data mining for guest satisfaction , and social media engagement in sports and fashion . His research consistently applies computational and analytical methods to real-world organizational challenges. Pedro Ramos has played a central role in developing and coordinating master's programs in Information Systems and related fields. He actively supervises both Master’s and PhD students, with ongoing projects in formal ontologies, public policy, business performance, and decision support systems. He has also contributed to institutional research projects funded by European programs. He leads research at ISTAR-Iscte and has held key administrative roles, including Director of the Department of Information Science and Technology and leadership in academic councils. His work integrates research, teaching, and institutional development.

Andreia MordidoView profile

Assistant Professor

• Programming Languages
• Type Systems
• Logic
• +2 more

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.

• Artificial Intelligence
• Machine Learning
• Decision Support Systems
• +9 more

Maria Goreti Carvalho Marreiros is a Full Professor at the Institute of Engineering of the Polytechnic of Porto (ISEP/IPP), where she serves as Director of GECAD (Research Group on Intelligent Engineering and Computing for Advanced Innovation and Development), a R&D unit ranked as Excellent by the Portuguese Science & Technology Foundation (FCT). She is also a member of LASI (Associated Laboratory of Intelligent Systems), the President of the Portuguese Association for Artificial Intelligence (APPIA), and a member of the General Assembly of the European Association for AI (EurAI). As an IEEE Senior Member, she contributes to the Specialised Monitoring Committee overseeing Portugal's National Artificial Intelligence Agenda. Her academic background includes: Habilitation in Artificial Intelligence (2020) from University of Minho PhD in Artificial Intelligence (2008) from University of Minho MSc in Information Management (2002) from University of Porto BSc in Computer Science (1995) from University of Porto Professor Marreiros' research is centered in Artificial Intelligence with approximately 240 scientific publications (65 in journals; over 2,900 citations, h-index 27). She has participated in 66 international and national R&D projects, serving as Principal Investigator or Co-PI in 31 of them. Her work demonstrates AI's versatility across multiple domains including Tourism, Industry 4.0, Healthcare and Wellbeing, Power and Energy Systems, Security, and Transportation. She has established strong connections with over 100 companies and technology transfer centers, and maintains partnerships with entities from more than 30 countries. Her recent publications show a strong focus on practical AI applications with emphasis on time series analysis for transportation monitoring, personalized recommendation systems, healthcare applications, and ontology evolution for industrial contexts. The research demonstrates a clear trajectory from theoretical AI foundations to real-world implementations across diverse sectors, with particular strength in adapting AI techniques to domain-specific challenges. Her professional recognitions include: 13 awards and honors Senior PC member and area chair for IJCAI and ECAI Member of more than 200 international conferences scientific program committees Ambassador for New AI Talents for Calouste Gulbenkian Foundation As an educator and mentor, Professor Marreiros has supervised 3 Post-Doc researchers, 5 concluded PhD students (2 international and 3 national), 4 ongoing PhD students, and 67 concluded MSc students. She has participated in 21 Doctoral Academic Exam Juries, 11 Doctoral pre-thesis juries, and served as an external examiner for 6 Doctoral Theses. She currently serves as Vice-Director of the MSc in AI Engineering, Director of the new AI PhD Programme, and Director of the post-graduation in Big Data & Decision Making. Professor Marreiros leads GECAD, a research group recognized as 'Excellent' by the FCT, which maintains strong connections with international and national companies. Her leadership extends to the Portuguese AI ecosystem through her presidency of APPIA and membership in the committee overseeing Portugal's National Artificial Intelligence Agenda, positioning her as a key figure in national and international AI development.

• Educational Sciences
• Special Education
• Early Childhood Education
• +4 more

Sandra Cristina Araújo Ferreira é Invited Assistant Professor at the Polytechnic Institute of Viseu School of Education, Portugal. She holds a PhD in Child Studies - Special Education from the University of Minho (2022), with her dissertation focusing on "Assessment of Expressive Communication in Portuguese Children aged 6 to 42 months". Her academic career spans multiple institutions including the Higher Institute of Educational Sciences of Douro and Polytechnic Institute of Viseu, where she teaches courses in Early Childhood Education, Supervised Teaching Practice, and Special Educational Needs. PhD in Child Studies - Special Education (University of Minho, 2022) Master's in Special Education - Specific Learning Difficulties (University of Minho, 2014) Bachelor's in Early Childhood Education (Polytechnic Institute of Viana do Castelo, 2008) Her research focuses on expressive communication assessment , developmental language disorders , and inclusive education . She specializes in adapting assessment tools like the Early Communication Indicator (ECI) for Portuguese contexts, implementing language intervention programs, and developing educational games for phonological awareness. Recent projects include "Building an Eco-Friendly Future with Robots (GreenCode)" and "POLILUX", a preschool oral language intervention for language-minority children. Notable awards include the 2023 LS Vigotsky Prize for Psychopedagogical Research . She has supervised multiple master's theses and participated in international conferences across Spain, Slovakia, Brazil, and Portugal. Key affiliations involve the Association iGesto , University of Minho Child Studies Research Center , and ACIP (International Scientific Association of Psychopedagogy) . Her work bridges educational theory, speech pathology, and technological innovation in early childhood contexts.

Ernesto Candeias MartinsView profile

Professor

• History of Social Education
• Social Pedagogy
• Theory and Philosophy of Education
• +7 more

Ernesto Candeias Martins is a full Professor at the School of Education of the Polytechnic Institute of Castelo Branco (IPCB) , with the academic title of Aggregation in Education/History of Social Education from the University of Lisbon. He holds a PhD in Educational Sciences (Theory and History of Education) from the University of the Balearic Islands, Spain, and advanced degrees in Philosophy, Pedagogy, and European Communities. His academic career spans teaching and coordinating multiple master's programs at IPCB, including Education for the 1st Cycle, Social Gerontology, Artistic Animation, and Special Education. Research Interests : Focus on the History of Social Education, Social Pedagogy, Childhood Studies (18th–20th centuries), Gerontological Education, Teacher Training, Ethics of Care, and Non-formal Education. Publications : Authored/co-authored 15+ peer-reviewed articles (2017–2021) on childhood marginalization, educational heritage, emotional intelligence in schools, and intergenerational pedagogy. Edited books on António Faria de Vasconcelos and Portuguese educational history. Leadership : Coordinates master's programs at IPCB, serves on scientific committees, and is a member of research centers at Lusófona University and the University of Évora. Conferences : Presented at international events in Spain, Brazil, and Portugal on topics like intergenerational education, emotional self-perception in students, and Belgian educational influences.