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
Maria José Brites is an Associate Professor at Lusófona University, where she serves as Vice-President of the Center for Research in Applied Communication, Culture and New Technologies (CICANT) and coordinates the Media Literacy and Civic Cultures Lab (MeLCi Lab). She holds leadership roles in international academic associations including Vice-Chair of ECREA's Audience and Reception Studies Section and Vice-Coordination of SOPCOM's Publics and Audiences Section. She is scientific advisor to Portugal's National Media Literacy Plan and Principal Investigator of the YouNDigital research project. Education: PhD in Communication Sciences - Journalism and Media Studies Master's in Communication Sciences - Journalism and Media Studies Bachelor's in Specialised Studies in International Journalism Aggregation in Communication Sciences - Media and Journalism Studies Research Focus: Her work centers on youth journalism, digital citizenship, and participatory methodologies, examining how media literacy influences civic engagement across generations. She explores news literacy, resistance to disinformation, and inclusive digital practices through community-based projects. Publication Trends: Her scholarly output emphasizes media literacy interventions, youth participation, and digital rights, with recent work analyzing algorithmic awareness and disinformation resilience. Methodologically, she prioritizes participatory action research and intergenerational approaches. Awards: Inclusion and Digital Citizenship Prize Lusófona University Research Prize (2017, 2020, 2023) Gold Medal of Academic Value (2019) Projects & Leadership: She directs the Master's in Media and Information Literacy and Digital Citizenship and has led EU-funded initiatives including RadioActive Europe (youth media inclusion) and SMaRT-EU (media resilience toolkit). Her work involves training educators and developing pedagogical resources for digital citizenship. Labs & Teams: At MeLCi Lab, she oversees research on civic cultures and media education, collaborating with national/international partners to bridge academic and community knowledge.
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.
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.
Guilherme Augusto Borges Pereira serves as an Associate Professor at the School of Engineering, University of Minho, and holds the position of Senior Researcher at Centro ALGORITMI. He is actively involved with the IEM R&D Group and SLOTS R&D Lab, contributing to research in industrial engineering and simulation. With a PhD credential and substantial academic output (93 publications, 645 citations, h-index 13), his work appears prominently in Q1/Q2 journals across operations research and industrial engineering domains. His research program centers on discrete-event simulation methodologies applied to complex industrial systems, with particular expertise in supply chain management, logistics optimization, and big data integration. Key application areas include warehouse automation systems, production line control mechanisms, automotive supply chains, cement industry logistics, and healthcare transportation services. His methodological contributions frequently combine simulation with optimization techniques such as genetic algorithms and integer programming to solve real-world operational challenges. Analysis of his publication trajectory reveals a strategic evolution toward integrating big data analytics with traditional simulation frameworks, particularly for supply chain risk management and data validation purposes. His work demonstrates remarkable cross-sector applicability, spanning automotive manufacturing, cement production, cork industry processes, and urban traffic systems. Recent publications emphasize computational experiments with simulation tools in big data contexts, semantic validation techniques, and comparative studies of simulation software platforms. As an academic leader, Pereira has chaired significant conferences including the European Modeling and Simulation Symposium (EMSS) 2019. His research maintains strong industry relevance through case studies addressing material handling systems, warehouse design optimization, production flow control, and non-emergency patient transportation logistics. His technical proficiency extends across multiple simulation environments with particular emphasis on the Simio platform for industrial applications.
João Carlos Caetano Simões serves as an Assistant Professor in the Department of Veterinary Sciences at the University of Trás-os-Montes and Alto Douro (UTAD) in Portugal, a position he has held continuously since 1994. His academic career spans over three decades with specialized focus on veterinary medicine, particularly in reproductive physiology and herd health management of ruminants. His educational journey includes: Veterinary Medicine degree (1993) PhD in Veterinary Sciences (2004) from UTAD Habilitation (Agregation) in Veterinary Science - Clinical Speciality (2021) from the Faculty of Veterinary Medicine, University of Lisbon Simões' research centers on reproductive disorders in dairy goats and cows, with significant contributions to pseudopregnancy diagnosis using biomarkers like pregnancy-associated glycoproteins (PAGs), metabolic periparturient diseases, and semen cryopreservation techniques. His work addresses critical challenges in small ruminant production systems, including hormonal regulation of reproduction, mastitis prevention, and seasonal effects on fertility. He has pioneered diagnostic approaches for embryonic mortality and developed protocols for genetic resource conservation in Portuguese native breeds. Analysis of his 15 most recent publications (2023-2025) reveals a concentrated research trajectory in reproductive diagnostics and metabolic health management. His work demonstrates consistent innovation in biomarker development for pseudopregnancy detection, optimization of semen cryopreservation protocols across breeds and seasons, and comprehensive investigations into periparturient metabolic disorders. The publications show strong interdisciplinary collaboration across Portuguese and international institutions, with practical applications for improving reproductive efficiency in commercial dairy operations. Simões has secured significant research funding for projects including: Follicular dynamics in Serrana goats (2002-2008, Portuguese National Funding Agency) Dissemination of Animal Insemination Technology for goats in Europe (2004, INIA) FAIR CRAFT PROJECT (1999, INIA) While specific student names aren't documented in available sources, his extensive publication record and faculty position indicate active mentorship of graduate researchers in veterinary science. As a highly active peer reviewer with over 500 reviews for 118 journals, he contributes substantially to scholarly discourse across veterinary medicine, animal science, and related disciplines.
André Platzer is the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at the Karlsruhe Institute of Technology (KIT) and the founder of the Logical Systems Lab at Carnegie Mellon University. His research focuses on the logical foundations of cyber-physical systems (CPS), aiming to ensure their safety through rigorous formal methods and theorem proving. He leads the Institute for Reliability of Autonomous Dynamical Systems at KIT. Education: Ph.D. (summa cum laude), Computer Science, University of Oldenburg (2008) Master's (equiv. to MSc), Computer Science & Mathematics, Karlsruhe Institute of Technology (2004) Bachelor's, Computer Science & Mathematics, Karlsruhe Institute of Technology (2001) Research Interests: Logic of Dynamical Systems Cyber-Physical Systems Formal Methods & Theorem Proving Programming Languages Automated Reasoning His work develops differential dynamic logic and tools like KeYmaera X to verify safety-critical systems in transportation and robotics. Recent advancements include adaptive shielding for neural networks and verified collision avoidance algorithms. Scientific Awards: Alexander von Humboldt Professorship (2023) NSF CAREER Award (2011) ACM Doctoral Dissertation Honorable Mention (2009) Popular Science's Brilliant 10 Young Scientists (2009) Advising & Grants: Supervised PhD students include Katherine Kosaian, Yong Kiam Tan, Rose Bohrer, and Sarah Loos. Active grants include DFG SFB Convide and KiKIT Kerninformatik. His research collaborates with industry (e.g., Bosch, Siemens) to improve CPS safety. Labs & Teams: Leads the Logical Systems Lab at CMU and the Institute for Reliability of Autonomous Dynamical Systems at KIT. Key projects include formal verification frameworks for aviation and railway systems.
Luís Eduardo Teixeira Rodrigues is a Professor Catedrático at the Department of Computer Engineering , Instituto Superior Técnico (IST) , Universidade de Lisboa . He is also affiliated with INESC-ID's Distributed, Parallel and Secure Systems Group . With a career spanning over three decades, he has pioneered research in distributed systems, fault tolerance, edge computing, and microservices consistency. PhD from IST (1996) "Agregação" in Informatics (2003) Co-founder of LASIGE's Navigators group His research focuses on transactional causal consistency , Byzantine fault tolerance , and edge computing systems . He leads the GLOG project for distributed shared logs and the DACOMICO project for microservices consistency. His work bridges theoretical distributed algorithms with practical systems engineering. Recent publications emphasize geo-replicated transactional systems , proof-of-storage mechanisms , and automated microservices decomposition . Notable collaborations include projects with institutions in Italy, Japan, and Luxembourg. Scientific contributions include: Prémio Prof. Luís Vidigal (awarded to student Mário Rui Vazão) Co-author of foundational books on Reliable Distributed Programming and Distributed Systems for System Architects Mentorship highlights: Supervised over 40 PhD and MSc students in distributed systems, including: Diogo Barrinha - Unobservable Covert Streaming Xavier Vilaça - N-Party BAR Transfer João Queirós - Transactional Causal Consistency Current projects include the GLOG distributed shared log system and DACOMICO for microservices consistency. Active in international collaborations with institutions in the USA, Switzerland, and Brazil.
José Bacelar Almeida is an Assistant Professor at the Department of Informatics at Universidade do Minho and a Senior Researcher at HASLab/INESC TEC since 2011. He holds a PhD in Computer Science from Universidade do Minho (2003). His research focuses on Cryptography, Information Security, and Program Verification, with an emphasis on formal methods for ensuring cryptographic software correctness and security. He has contributed to high-assurance implementations of cryptographic systems, bridging theoretical security with real-world applications. His research interests include provable security, formal verification of cryptographic proofs, and secure cryptographic software implementations. Notable work includes formally verified implementations of Kyber (a post-quantum cryptosystem) and machine-checked proofs for security protocols like ML-KEM. He also explores leakage-free probabilistic programs and secure compilation frameworks. Almeida has supervised multiple theses on topics such as cryptographic implementation verification, cloud security, and password management systems. His publications span conferences like CRYPTO and CPP, journals like the Journal of Logical and Algebraic Methods in Programming, and venues on formal methods and secure computation. He is part of the High-Assurance Software research center at INESC TEC and actively contributes to projects involving certified cryptographic software and secure multiparty computation. His work emphasizes practical, high-performance solutions with rigorous formal guarantees.
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.
Manuel Barbosa is an Associate Professor at the Department of Computer Science, Faculty of Science, University of Porto (DCC-FCUP), and a researcher at HASLab/INESC TEC. His research focuses on cryptography, information security, and program verification. He holds a Ph.D. in Electrical and Electronic Engineering from Newcastle University, an M.Sc. from the same institution, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. Past roles include visiting researcher positions at the University of Bristol, IT Porto, and École Normale Supérieure, as well as a research fellowship at the Max Planck Institute for Security and Privacy (2023–2025). His work emphasizes high-assurance cryptographic implementations, bridging theoretical and practical security. Research interests include provable security, formal verification of cryptographic proofs, and cryptographic software. Recent publications explore post-quantum cryptographic protocols such as PAKE (Password-Authenticated Key Exchange) and formal verification of signature schemes like SPHINCS+. Publications : His recent work includes advancements in lattice-based PAKE protocols, tight security proofs for post-quantum signatures, and re-examination of FIDO2 security. These contributions address challenges in secure authentication, efficient cryptographic implementations, and rigorous formal verification. Awards/Grants : No scientific awards explicitly listed, but his research has been supported through fellowships and institutional affiliations with top-tier institutions. Labs/Teams : Affiliated with HASLab (High-Assurance Software Laboratory) and INESC TEC, focusing on applied cryptography and security research. Active in DCC-FCUP’s academic and research programs.
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.
José Eduardo Fernandes is a Professor at the Technology and Management School of the Polytechnic Institute of Bragança , Portugal, since 1998. He leads the Master in Informatics program and specializes in software engineering, business process modeling, and secure systems development. Education : M.Sc. and Ph.D. in Information Systems from the University of Minho Research Focus : His work bridges software engineering (requirements, models, processes) with education-focused systems, pervasive computing, and cybersecurity. Recent publications highlight interdisciplinary approaches using formal methods like Petri Nets and AI-driven solutions for modular construction and educational platforms. Collaborations : Active in academic partnerships, co-authoring works with researchers such as Vidal L., Vinicius Belloli Dos Santos, and Paulo Alves, emphasizing practical applications of information systems.
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.
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.
