Universität Regensburg
Denis-Charles Cisinski
Anschrift:
Herr Prof. Dr. Denis-Charles Cisinski
Universität Regensburg
Fakultät für Mathematik
Lehrstuhl für Reine Mathematik III
Universität Regensburg
Fakultät für Mathematik
Lehrstuhl für Reine Mathematik III
Straße:
Universitätsstr. 31
Ort:
93053 Regensburg
Tel.:
0941 943-5913
Fax:
0941 943-2436
Leistungsprofil:
Praxisrelevante Forschungsgebiete:- Constructive Type Theory. Certifying (or proving) programs using proof assistant programs, such as Coq or Agda.
Publikationen:
- Catégories supérieures et théorie des topos, Séminaire Bourbaki 67ème année (2014-2015), Exp. No. 1097, Astérisque 380 (2016), 263-324
- Étales motives, Compositio Mathematica 152 (2016), no. 3, 556-666 (mit F. Déglise)
- Integral mixed motives in equal characteristic, Documenta Mathematica Extra Volume: Alexander S. Merkurjev's Sixtieth Birthday (2015), 145-194 (mit F. Déglise)
- Descente par éclatements en K-théorie invariante par homotopie, Annals of Mathematics 177 (2013), no. 2, 425-448
- Non-connective K-theory via universal invariants, Compositio Mathematica 147 (2011), no. 4, 1281-1320 (mit G. Tabuada)
- Dendroidal sets as models for homotopy operads, Journal of Topology 4 (2011), no. 2, 257-299 (mit I. Moerdijk)
- Catégories dérivables, Bulletin de la Société Mathématique de France 138 (2010), fasc. 3, 317-393
- Locally constant functors, Mathematical Proceedings of the Cambridge Philosophical Society 147 (2009), 593-614
- Les préfaisceaux comme modèles des types d'homotopie, Astérisque 308 (2006), xxiv+392 pp.
Kooperationsangebot für die Wirtschaft / Praxis:
Bevorzugte Form der Kooperation:
- Beratung
- Bachelor-/Master-/Diplomarbeit
- Doktorarbeit
- Bildung
Angebote der Zusammenarbeit:
- Constructive Type Theory. Formalisation of Mathematics.
- Development of proof assistants.
Zurück zur Liste
Falls dies ihr Profil ist, können Sie es hier nach dem Login bearbeiten.