CURRICULUM VITAE

Mamuka Jibladze

 

Personal Data

 Date of birth: Apr 5, 1958
Place of birth: Tbilisi, Georgia
Nationality: Georgian
Marital Status: married

Present position

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

Education

Graduated:

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

Scientific degrees

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

Positions held

 1984-1990 – Junior Research Fellow, Department of Algebra, Razmadze Mathematical Institute
1990-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 Strasbourg
Jul - 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 Mechanics

Research Areas

 Category theory and homological algebra – Topos theory, cohomology of categories
Algebraic 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