معرفی
Xia Wu is a former member of the International Center for Computational Logic (ICCL) at TU Dresden. They served as a Visiting Scientist in the Research Group on Automata Theory within the Faculty of Computer Science. Their affiliation indicates academic engagement in theoretical computer science domains.
Research interests focused on automata theory and formal methods, aligned with the ICCL's mission in computational logic and algorithmic verification. Though specific publications are listed on their profile, detailed article information isn't explicitly provided here.
No academic awards or grants are mentioned in the available texts. Their contributions were part of the Automata Theory group's activities at TU Dresden until their departure, last documented in 2014.
Xia Wu در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- NNatalya KeberleDresden University of Technology · پژوهشگر
- LLidia TenderaDresden University of Technology · پژوهشگر
Maria Paola BonacinaDresden University of Technology · استاد مهمان- CChunping LiDresden University of Technology · پژوهشگر
- RRajeev GoréDresden University of Technology · استاد مهمان
- JJens ClaßenDresden University of Technology · پژوهشگر