It looks like you're new here. If you want to get involved, click one of these buttons!
I finished my PhD thesis 2011 about "model structures (à la Thomason) on the diagram categories and Kan-extensions" and am now independent researcher. My interest was stable homotopy theory and arithmetic geometry. Newly I'm also interested in 1) univalent homotopy type theory; 2) fibered categories and stacks, concretely, "GROTHENDIECK'S "6 OPERATIONS" IN CATEGORICAL LOGIC".