E-mail:
Сайт: http://www.csc.villanova.edu/~japaridz/

Основные темы научной работы:

Provability and interpretability logics, Game semantics and the theory of interactive computation, Proof theory and deep inference, Complexity theory

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Villanova University