Achim Jung

Prof. Achim Jung is a former Visiting Professor affiliated with the International Center for Computational Logic (ICCL) at TU Dresden's Faculty of Computer Science. His research focuses on computational logic and theoretical foundations of computer science, with contributions to formal methods and related disciplines.

He was part of the Department of Computer Science within TU Dresden, contributing to academic and research activities at the ICCL. No specific awards or student advisement records are explicitly mentioned in the provided information.

Prior to his role at TU Dresden, details about his educational background or other affiliations are not detailed here. His publications are listed on the ICCL website but not enumerated in the provided texts.