Shasha Feng

Dr. Shasha Feng was a former Visiting Scientist at the Technische Universität Dresden within the Faculty of Computer Science, affiliated with the International Center for Computational Logic (ICCL) and the Automata Theory Research Group. Her work focused on advancing formal methods in knowledge representation, particularly in Description Logics and Semantic Technologies. She contributed to bridging theoretical foundations of logic-based systems with practical applications in automated reasoning.

Key research interests include automata theory, logical frameworks, and knowledge representation systems. While at TU Dresden, she collaborated on projects analyzing the structural differences in ontologies (TBoxes) within the EL family of Description Logics.

No academic awards or grants were explicitly mentioned in the records. She maintained active participation in the ICCL community but no current affiliation or ongoing projects are noted. Her research outputs reflect a deep engagement with foundational aspects of computational logic and semantic technologies.