معرفی
Rajeev Goré was a Former Visiting Professor at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. His research focused on computational logic, automata theory, and formal methods, contributing to areas like proof theory and non-classical logics.
While affiliated with TU Dresden, he collaborated on projects such as syntactic interpolation for tense logics and bi-intuitionistic logic using nested sequents. His work bridges theoretical foundations with applications in automated reasoning and formal verification.
No awards, active grants, or advising records are explicitly documented in the provided texts. The ICCL group, where he was associated, emphasizes interdisciplinary research in computational logic and its applications.
Rajeev Goré در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Tim LyonDresden University of Technology · پژوهشگر- RRajeev GoreMonash University · استاد
- JJens ClaßenDresden University of Technology · پژوهشگر
- SShasha FengDresden University of Technology · پژوهشگر
- LLidia TenderaDresden University of Technology · پژوهشگر
- MMartin KnechtelDresden University of Technology · پژوهشگر