Find Academic Supervisors

• Concurrent Systems
• Formal Methods
• Modal Logic
• +4 more

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

Renata WassermannView profile

Associate Professor

• Artificial Intelligence
• Formal Methods
• Belief Change
• +4 more

Renata Wassermann is an Associate Professor at the Computer Science Department of the Institute of Mathematics and Statistics (IME) at the University of São Paulo. She is a member of the research group LIAMF (Logic, Artificial Intelligence, and Formal Methods) and a researcher at the Center for Artificial Intelligence (C4AI). She also serves on the director board of Lawgorithm, a project focused on legal technology. Her primary research interests lie in formal methods, belief change, ontology engineering, and knowledge representation, with a focus on non-classical logics and their applications in artificial intelligence. Her work integrates theoretical advancements in logic with practical challenges in areas like ontology repair, belief revision, and semantic integration. Notably, she has contributed to the development of contraction operators for belief systems and methodologies for repairing ontologies. Her research also addresses the computational aspects of logical systems, including temporal logic and model-based reasoning. Recent publications highlight her exploration of hyperintensional models, optimal repairs in belief systems, and semantic integration in public health databases. Wassermann's interdisciplinary approach bridges theoretical computer science with real-world applications, such as environmental ontology extraction and legal informatics.

Carlos DamásioView profile

Associate Professor

• Logic Programming
• Knowledge Representation
• Non-monotonic Reasoning
• +2 more

Carlos Damásio is an Associate Professor at the Faculty of Science and Technology , NOVA University Lisbon , affiliated with the SSDI section. His office is located in room P2/12, with contact details: telephone +351 212 948 300 ext. 10758 and email cd@fct.unl.pt . His research spans Logic Programming , Knowledge Representation , and Non-monotonic Reasoning , focusing on theoretical foundations and practical applications in Artificial Intelligence . He investigates computational logic frameworks for knowledge-intensive systems, semantic reasoning, and declarative problem-solving paradigms.

João LeiteView profile

Professor

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Neuro-symbolic Artificial Intelligence
• +3 more

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

José Fragoso SantosView profile

Assistant Professor

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +3 more

Welcome to my home page. I am an Assistant Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a researcher at INESC-ID's SAT group. My work focuses on embedding formal methods into software development, particularly for JavaScript programs. PhD in Computer Science, University of Nice Sophia Antipolis (2014) MSc in Information Systems and Computer Engineering, Instituto Superior Técnico (2008) My research spans JavaScript verification, symbolic execution, and separation logic. I developed JaVerT, the first separation-logic-based tool for JavaScript analysis, used by Amazon to verify the AWS Encryption SDK and recognized with a Facebook Research Award. Recent publications highlight trends in symbolic execution, JavaScript security, and WebAssembly analysis. Key projects include Gillian (multi-language symbolic execution platform), Rexstepper (regular expression debugger), and Wasmati (WebAssembly vulnerability scanner). Facebook Research Award Supervised students include PhD researcher Gabriela Cunha Sampaio and MSc students Pedro Lopes, Carolina Costa, and others. Current teaching subjects: Analysis and Synthesis of Algorithms, Object-Oriented Programming, Software Security. Affiliated with the SAT group at INESC-ID and the Verified Trustworthy Software Specification group at Imperial College London.

Milena CarvalhoView profile

Senior Lecturer

• Information Science
• Mediation and Informational Behaviour
• Information and Knowledge Management
• +3 more

Milena Carvalho serves as Associate Researcher and Senior Lecturer in Information Science at ISCAP-P.Porto (Polytechnic Institute of Porto), where she directs the Bachelor's Degree in Library and Information Sciences and Technologies and the Specialisation Course in School Library Management. Her academic credentials include: PhD in Documentary Sciences – specialisation in Information Management and Information Services (FLUC, University of Coimbra) Master of Archives, Libraries and Information Science (University of Évora) Expert in Documentary Sciences – Archive Choice (FLUP, University of Porto) Her research spans Information Science with concentrated expertise in Mediation and Informational Behaviour, Information and Knowledge Management systems, Preservation and Conservation methodologies, Information Heritage frameworks, and Information Representation techniques including Semantic Web applications. She actively contributes to scholarly discourse through conference publications, journal articles, and peer-review activities for national and international academic venues. As program director, she shapes curriculum development and academic standards for library and information science education, emphasizing practical applications in digital environments. Her project involvement demonstrates active research engagement, though specific grants aren't detailed in available documentation.

• Clinical Psychology
• Forensic Psychology
• Depression Treatment
• +6 more

Anita Santos is Associate Professor at University of Maia and a full member of the Center of Psychology at the University of Porto (CPUP). She holds a PhD in Clinical Psychology (2008) and Degree in Psychology (2003), both from University of Minho, and is a licensed clinical psychologist specializing in Clinical and Health Psychology. Her research spans three interconnected domains: depression treatment processes, intimate partner violence intervention, and digital mental health solutions. She employs network analysis approaches to understand anxiety and depression, conducts randomized clinical trials for cognitive-behavioral treatments, and develops technology-assisted interventions including the SafeCheck App for IPV risk assessment. Dr. Santos has secured substantial research funding through 13 documented projects with Fundação para a Ciência e a Tecnologia, EEA Grants, and gender-focused initiatives. Her recent publications (2023-2025) demonstrate strong output in high-impact journals focusing on trauma-informed care, technology-facilitated violence, and mental health in forensic populations. She actively supervises four PhD candidates with fellowship grants and numerous Master's students in Clinical and Forensic Psychology programs. Her work bridges clinical practice, research, and policy development, particularly in Portuguese mental health and domestic violence contexts.