معرفی
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.
Shasha Feng در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- OOliver Fernández GilDresden University of Technology · پژوهشگر
- MMartin KnechtelDresden University of Technology · پژوهشگر
- MMarco CeramiDresden University of Technology · پژوهشگر
Lucía Gómez ÁlvarezDresden University of Technology · پژوهشگر
Franz BaaderDresden University of Technology · استاد- DDavid TomanDresden University of Technology · پژوهشگر