About
Norbert Fuchs is a former Visiting Professor at the Technische Universität Dresden, affiliated with the Faculty of Computer Science and the International Center for Computational Logic (ICCL). His research focuses on computational logic, formal methods, and theoretical computer science, with applications in artificial intelligence and automated reasoning.
While no specific publications, students, or awards are listed in the provided texts, his affiliation with ICCL indicates active involvement in foundational research within computational logic. No grants or lab-specific details are explicitly mentioned.
0Publications listed
Find Norbert Fuchs elsewhere
Related Searches
You Might Also Like
Maria Paola BonacinaDresden University of Technology · Visiting Professor- DDavid TomanDresden University of Technology · Researcher
Andrei VoronkovDresden University of Technology · Visiting Professor- RRajeev GoréDresden University of Technology · Visiting Professor
- CChunping LiDresden University of Technology · Researcher
Sergei KuznetsovDresden University of Technology · Visiting Professor