Renata Wassermann

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.