Sergei Kuznetsov

Prof. Sergei Kuznetsov is a former Visiting Professor at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. His affiliation was part of the broader Computer Science department, focusing on foundational areas of computational logic and related fields.

Research interests include computational logic, formal methods, and their applications in artificial intelligence. While specific publications are not detailed here, his work aligns with the ICCL’s focus on theoretical and applied logic in computer science. No awards, grants, or student advisement records are explicitly mentioned in the provided texts.