• Теорија доказа
  Теорија категорија
  Супструктуралне логике
  Модална логика
  Филозофија и историја логике
  

• 1977 - основне студије - Филозофски факултет у Београду
• 1981 - одбрана докторске дисертације - ОКСФОРДСКИ УНИВЕРЗИТЕТ
  (тема: ЛОГИЧКЕ КОНСТАНТЕ:ЕСЕЈ У ТЕОРИЈИ ДОКАЗА)

• (1986 - 1987) Department of Philosophy, University of Notre Dame, Indiana
• (1992 - 1994) Departement de Mathematiques et Informatique, Universite de Montpellier III
• (1997 - 1977) Wilhelm-Schickard-Institut, Universitat Tubingen
• (1994 - 1998) Inst.de Recherche en Informatique de toulouse, Depaertement de Mathemat. et Informatique
• (1985 - 1990) Zentrum Philosophie und Wissenschaftstheorie, Universitat Konstanz

• 2002 - редовни професор - Филозофски факултет у Београду
  (ужа научна област: ФИЛОЗОФИЈА)

• 1985 -  1986 -  Прва година: Логика
  Природно - математички факултет, Београд, Србија (циклус предавања)
• 1985 -  1986 -  Трећа година: Формалне граматике и аутомати
  Природно - математички факултет, Београд, Србија (циклус предавања)
• 1986 -  1987 -  Последипломски курс: Интуиционистичка логика
  Department of Philosophy, University of Notre Dame, Indiana, USA (гостујући професор)
• 1988 -  1989 -  Средњи курс (IV година): Математичка логика
  Институт за математику, Универзитет Црне Горе, Подгорица, Црна Гора (гостујући професор)
• 1990 -  1992 -  Формална аритметика, интуиционистичка логика, модална логика, теорија доказа, категоријална теорија доказа, теорија типова и категоријална логика
  Природно - математички факултет, Београд, Србија (циклус предавања)
• 1992 -  1994 -  Уводни курс (I година): Логика; Последипломски курс: Категоријална теорија доказа
  Département de Mathématiques et Informatique, Universités de Montpellier III et II, Монпеље, Француска (гостујући професор)
• 1997 -  1997 -  Последипломски курс: Категоријална теорија доказа
  Wilhelm-Schickard-Institut, Universität Tübingen, Tübingen, Deutschland (гостујући професор)
• 1994 -  1998 -  Уводни курсеви: логика, дискретна математика; Последипломски курс: рачун ламбда
  Institut de Recherche en Informatique de Toulouse, Тулузa, Француска (гостујући професор)
• 2001 -  2001 -  Кратак последипломски курс (5 предавања): Categories and their interpretation
  Department of Mathematics, University of Athens, Атина, Грчка (гостујући професор)

• 2001 -  2011 - Математички институт САНУ, Београд, (1985 - 1989)  (Руководилац Логичког семинара)
• 1998 -  Математички институт САНУ, Београд  (Члан Научног већа)
• 1982 -  Association for Symbolic Logic  (чланство)
• 1996 -  Друштво за чисту и примењену логику  (чланство)
• 1991 -  Notre Dame Journal of Formal Logic  (чланство)
• 1993 -  1997 - Studia Logica  (чланство)
• 2011 -  Математички институт САНУ, Београд  (Руководилац Семинара за општу теорију доказа)

• 2002 -  2005 - «Репрезентација доказа са применама, класификација структура и бесконачна комбинаторика»
  Математички институт САНУ, Министарство за науку, технологију и развој Србије, број 1630 (руководилац пројекта)
• 2006 -  2010 - «Репрезентације логичких структура и примене у рачунарству»
  Носилац: Математички институт САНУ, Министарство за науку Србије, број 144013 (учесник пројекта)
• 2011 -  «Репрезентације логичких структура и формалних језика и њихове примене у рачунарству»
  Носилац: Математички институт САНУ, Београд; Министарство за науку Србије, број ОN174026 (учесник пројекта)