CURRICULUM VITAE

Mamuka Jibladze

Personal Data

Place of birth: Tbilisi, Georgia

Nationality: Georgian

Marital Status: married

Present position

Head of the Department of Mathematical Logic, TSU Razmadze Mathematical InstituteEducation

Graduated:

1980 – Tbilisi State University, Faculty of Mathematics and Mechanics with special honours diploma1984 – post-graduate school, Tbilisi State University

Scientific degrees

2001 – Doctor of Sciences, Université catholique de Louvain, Louvain-la-Neuve, BelgiumPositions held

1984-1990 – Junior Research Fellow, Department of Algebra, Razmadze Mathematical Institute1990-1998 – Research Fellow, same Department

1998-2008 - Senior Research Fellow, same Department

1998-2015 - Senior Research Fellow, Department of Mathematical Logic, Razmadze Mathematical Institute

Visiting positions

Oct 1991 - Jan 1992; Jul - Sep 1994 – University of StrasbourgJul - Aug 1995 – University of Cambridge

Oct - Nov 1996 – Utrecht University

Sep - Oct 1997 – McGill University, Montreal

Nov - Dec 1997 – Universität Bielefeld

Sep 1998 - Jan 1999 Max Planck Institut für Mathematik, Bonn

Jan 1999 - Jun 2001 – Université catholique de Louvain, Louvain-la-Neuve

Jul – Sep 2002 – Universität Osnabrück

May – Jun 2003 – Universität Bielefeld

Oct 2003 - Sep 2004 Max Planck Institut für Mathematik, Bonn

Teaching

1989 – Practical courses in analytic geometry at Tbilisi State University, Faculty of Mathematics and MechanicsResearch Areas

Category theory and homological algebra – Topos theory, cohomology of categoriesAlgebraic K-theory – Relative K-theory of ideals in noncommutative rings and crossed bimodules

Mathematical logic - Algebraic logic, Intuitionistic and Modal logics, Topological and categorical semantics

Conferences, invited Lectures

1985, 1987, 1989 – All-union Algebraic Conferences (Leningrad, Minsk, L'vov)1988 – Categorical Topology, Prague

1989 – Category Theory Meeting, Bangor

1990 – International Category Theory Meeting, Como

1992 – Universal Algebra and Category Theory, Berkeley

1993 – Algebraic K-theory, Strasbourg; European Congress of Mathematicians, Paris

1995 – Meeting in category theory, Cambridge (UK)

Talks at Peripathetic Seminars on Sheaves and Logic – Utrecht, 1997; Aarhus, 1998; Louvain-la-Neuve, 2000; Braunschweig, 2001

2005 - Stable and algebraic homotopy, Schloß Ringberg, Tegernsee

2008 - Polynomial Mappings: Algebra, Computation and Topology, Nijmegen

2008 - Conference on Homology and Homotopy, Bonn

2015 - TACL2015, Ischia

2017 - Arbeitstagung 2017, Max Planck Institut für Mathematik, Bonn

2017 - TACL2017, Prague

Grants

1994-1998 – International Science Foundation Research Grant #MXH100, #MXH200.1994-2003 – Intas-93-2618, Intas-93-2618-Ext and Intas-99-0081

1995-2003 – Georgian Academy of Sciences Grant

1996-1998 – CRDF Grant GM1-115

1998-2001 – TMR network "K-theory and algebraic groups", ERB FMRX CT-97-0107

2002-2004 – RTN network "K-theory and algebraic groups", HPRN-CT-2002-00287

2007-2008 - INTAS South Caucasus "Polynomial Mappings: Algebra, Computation and Topology"

2007-2008 - GNSF Grant ST06/3-003, "Semantics of Intuitionistic and Modal Logics: Algebraic and Topological Models"

2009-2010, GNSF, ST08/3-387, "Investigation of Algebraic Structures Modelling Specific Properties of Ring Spectra", Project Coordinator

2009-2011, GNSF, ST08/3-397, "Duality Theory and its Applications to Semantics of Non-classical Logics"

2012-2015, Shota Rustaveli National Research Foundation, FR/489/5-105/11, "Topological Semantics of Modal Logics"

2016-2018, Shota Rustaveli National Research Foundation, DI-2016-25, "Propositional Calculi For Geometry and Topology", Project Coordinator