Rajeev Goré

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.