About
Dr. Lidia Tendera was a Former Visiting Scientist at the International Center for Computational Logic (ICCL) within the Research Group Automata Theory at the Faculty of Computer Science, Technische Universität Dresden. Her affiliation with TU Dresden is noted as a past position.
Research interests are inferred from her group's focus on theoretical computer science, including automata theory, formal methods, and logic-based verification techniques. Specific projects or methodologies she engaged in are not detailed in the provided texts.
Publications are listed under the 'Publications' section of the ICCL website but no specific titles or articles are disclosed in the scraped content.
No academic awards, student advisees, or grant details are explicitly mentioned in the available data.
Find Lidia Tendera elsewhere
Related Searches
You Might Also Like
Zoltan EsikDresden University of Technology · Visiting Professor- XXia WuDresden University of Technology · Researcher
- RRajeev GoréDresden University of Technology · Visiting Professor
- SShasha FengDresden University of Technology · Researcher
- NNatalya KeberleDresden University of Technology · Researcher
Achim JungDresden University of Technology · Visiting Professor