About
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.
Find Xia Wu elsewhere
Related Searches
You Might Also Like
- NNatalya KeberleDresden University of Technology · Researcher
- LLidia TenderaDresden University of Technology · Researcher
Maria Paola BonacinaDresden University of Technology · Visiting Professor- CChunping LiDresden University of Technology · Researcher
- RRajeev GoréDresden University of Technology · Visiting Professor
- JJens ClaßenDresden University of Technology · Researcher