Erich Grädel
Doctor
Mathematics
Aachen University of Technology
Germany
Biography
Dr. Erich Grädel is currently working as a professor in the Department of Mathematics, aachen university , germany. His research interests includes Algorithmic Model Theory;Logic and Game Theory;Logic and Algorithms;Fixed-Point Logics;Logics for Dependence and Independence. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Erich Grädel is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Algorithmic Model Theory;Logic and Game Theory;Logic and Algorithms;Fixed-Point Logics;Logics for Dependence and Independence.
Research Interest
Algorithmic Model Theory;Logic and Game Theory;Logic and Algorithms;Fixed-Point Logics;Logics for Dependence and Independence.
Publications
-
E. Grädel, B. Pago, and W. Pakusa. The Model-Theoretic Expressiveness of Propositional Proof Systems. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.
-
F. Abu Zaid, E. Grädel, and F. Reinhardt. Advice Automatic Structures and Uniformly Automatic Classes. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.
-
F. Abu Zaid, A. Dawar, E. Grädel, and W. Pakusa. Definability of Summation Problems for Abelian Groups and Semigroups. In Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
