معرفی
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.
Lidia Tendera در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Zoltan EsikDresden University of Technology · استاد مهمان- XXia WuDresden University of Technology · پژوهشگر
- RRajeev GoréDresden University of Technology · استاد مهمان
- SShasha FengDresden University of Technology · پژوهشگر
- NNatalya KeberleDresden University of Technology · پژوهشگر
Achim JungDresden University of Technology · استاد مهمان