Erich Grädel

Doctor
Mathematics
Aachen University of Technology
Germany

Doctor Mathematics
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 Intrest

Algorithmic Model Theory;Logic and Game Theory;Logic and Algorithms;Fixed-Point Logics;Logics for Dependence and Independence.

List of 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.