Peter Grigoriev

Dr. Peter Grigoriev is a former member of the International Center for Computational Logic (ICCL) at TU Dresden. He held the position of Visiting Scientist within the Faculty of Computer Science, contributing to research in computational logic and related fields. His work was associated with the Department of Computer Science, focusing on core areas such as automated reasoning, formal methods, and knowledge representation. While no specific educational background, awards, or student advisees are explicitly listed in the provided texts, his affiliation with ICCL indicates involvement in advanced theoretical and applied research in computer science. Publications are noted, but their titles and details are not included here. He is no longer actively listed as a current faculty member or researcher at the institution.