معرفی
Dr. Natalya Keberle was a former Visiting Scientist at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. She contributed to the Automata Theory research group, focusing on foundational aspects of computer science and computational logic.
Her research interests centered on theoretical computer science disciplines such as automata theory, formal methods, and discrete mathematics. Though no specific publications are listed here, her work likely aligns with the ICCL's broader research themes in computational logic and automated reasoning.
No scientific awards, grants, or advised students are explicitly documented in the provided texts. She maintained affiliation with TU Dresden's ICCL before departing from her visiting role.
Natalya Keberle در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Maria Paola BonacinaDresden University of Technology · استاد مهمان- XXia WuDresden University of Technology · پژوهشگر
Dieter HutterDresden University of Technology · پژوهشگر- RRajeev GoréDresden University of Technology · استاد مهمان
- SShasha FengDresden University of Technology · پژوهشگر
- MMarco CeramiDresden University of Technology · پژوهشگر