Date Range
Date Range
Date Range
I am a mathematician with a PhD from Università Nice Sophia Antipolis. Currently, I am a postdoctoral researcher in the Ascola team at INRIA. Logic and type theory, in particular Homotopy Type Theory. Formal proofs and formalised mathematics, in particular Univalent Foundations. Ecole des Mines de Nantes.
You are not logged in. All Sabio class times are in Chicago Time. Full report of recent activity.
9h00 - 12h30 et 13h30 - 17h00. Venir travailler seul ou avec des collègues.
National Changhua University of Education.
For help, e-mail cst. How to Connect a Computer to the Network. How to access your files on the CST servers. How to mount the CST servers as network drives. How to recover deleted or old versions of files. How to choose a good password. Securing your account with Google Authenticator. Setting Up a Trusted Computer. How to connect to your on-campus windows desktop from home.