Education: University of Belgrade, University of Oxford (St
John's College)
Doctoral thesis: Logical Constants: An Essay in Proof Theory,
Oxford, 1980 (supervisor: Michael Dummett)
Tenured posts:
- Mathematical Institute, Belgrade (since 1981, full professor since 1995)
- Institut de Recherche en Informatique de Toulouse, Department
of Mathematics and Computer Science, University of Toulouse III (professor
1994-1998)
- Faculty of Philosophy, University of Belgrade (full professor
since 2003)
Visiting posts:
- Faculty of Mathematics, University of Belgrade (1985/86, 1990-92, 2001)
- University of Notre Dame, Indiana (1986/87)
- Institute of Mathematics, University of Montenegro (1988/89)
- Department of Mathematics and Computer Science, University of Montpellier III (1992-94)
- Wilhelm Schickard Institute, University of Tuebingen (1997)
Courses given:
- elementary: mathematical logic (Belgrade, Montpellier, Toulouse), discrete mathematics (Toulouse)
- intermediate: mathematical logic (Montenegro), formal grammars and automata (Belgrade)
- advanced: formal arithmetic (Belgrade), intuitionistic logic (Belgrade, Notre Dame), modal logic (Belgrade),
proof theory (Belgrade), categorial proof theory (Belgrade, Montpellier,
Tuebingen), lambda calculus (Toulouse),
type theory and categorial logic (Belgrade), philosophy of
mathematics (Belgrade)
Thesis advisor to:
- Branislav Boricic (Professor, University of Belgrade),
Ph.D.: "Some problems in the theory of intermediate logics (in
Serbian)",
University of Belgrade, 1984 [parts of this thesis published in articles by B.
Boricic in J. Symbolic Logic, Z. math. Logik Grundlag. Math., J. Philos.
Logic, Studia Logica]
- Silvia Ghilezan (Professor, University of Novi Sad),
M.Sc.: "The lambda calculus and weak propositional logics (in
Serbian)", University of Belgrade, 1988
Ph.D.: "Types with intersection in the lambda calculus and in logic (in English and
Serbian)",
University of Novi Sad, 1993 [parts of this thesis published in articles by S. Ghilezan in J. Logic Comput.,
Notre Dame J. Formal Logic]
- Zoran Petric (Professor, Mathematical Institute, Belgrade, and
University of Belgrade),
M.Sc.: "Isomorphic propositional formulae in categorial proof theory (in
Serbian)", University of Belgrade, 1993
Ph.D.: "Equality of deductions in categorial proof theory (in
Serbian)", University of Belgrade, 1997
[parts of this thesis published in articles by Z. Petric in
Studia Logica, Annals Pure Appl. Logic]
- Mirjana Borisavljevic (Professor, University of Belgrade),
M.Sc.: "Internal languages of linear multicategories (in
Serbian)", University of Belgrade, 1994
Ph.D.: "Sequents, natural deduction and multicategories (in
Serbian)", University of Belgrade, 1997
[parts of this thesis published in an article by M. Borisavljevic in Annals Pure Appl. Logic]
- Milos Adzic (Assistant Professor, University of Belgrade),
Ph.D.: "Godel on the axiomatization of set theory (in
Serbian)", University of Belgrade, 2014
Guest
speaker: University of Zagreb (1984), University of Konstanz (1984, 1990),
University of Notre Dame (1987), Purdue University (1987), University of Maine
(1988), University of Montenegro (1989, 2016), University of Amsterdam (1991),
University of Toulouse III (1992), University of Tuebingen (1992, 1997,
2015, 2016),
Universities of Montpellier II and III (1992, 1993, 1994, 1995, 1996),
University of Barcelona (1993), University of Provence, Aix-en-Provence (1993,
1994, 1995), University of Utrecht (1995), University Claude Bernard, Lyon
(1996), University of Athens (2001), Ecole Polytechnique, Paris (2008),
Montenegrin Academy of Sciences and Arts, Podgorica (2016), University of Nis (2016)
Fellowship: Alexander von Humboldt
Foundation (1989/90)
Member
of editorial boards: Notre Dame Journal of Formal Logic (since 1991), Studia Logica (1993-1997)
Member
of programme committees: Third Logical Biennial, Kleene '90, Chaika
1990;
Conference on Logics with Restricted Structural Rules, Tuebingen 1990; The Third Barcelona Logic Meeting, Barcelona 1997;
Fifth Panhellenic Logic Symposium, Athens 2005; The Relevance of Logic,
Belgrade 2005; Sixth Panhellenic Logic Symposium, Volos 2007; Fourteenth
Congress of Logic, Methodology and Philosophy of Science, Nancy 2011; Twenty
Third World Congress of Philosophy, Athens 2013; Logica 2013, Hejnice 2013;
Symposium on Proof Theory, Belgrade 2015
Other professional activities:
chairman
of the Logic Seminar, Mathematical Institute, Belgrade (1985-1989,
2001-2011), chairman of the
Seminar for General Proof Theory,
Mathematical Institute, Belgrade (since 2011), president of the
Society for Pure and Applied Logic, Belgrade
(2015-2016)