Benedikt Ahrens About me Contact
About me and Contact. About me and Contact. I am a mathematician with a PhD from Università Nice Sophia Antipolis. Currently, I am a postdoctoral researcher in the Ascola team at INRIA. My research interests include. Semantics of programming languages. Logic and type theory, in particular Homotopy Type Theory. Formal proofs and formalised mathematics, in particular Univalent Foundations. Category theory in programming. First name.last namegmx.net. First name.last nameinria.fr. Ecole des Mines de Nantes.
OVERVIEW
This web page benedikt-ahrens.de currently has an average traffic classification of zero (the smaller the more users). We have explored eight pages inside the domain benedikt-ahrens.de and found three websites associating themselves with benedikt-ahrens.de.
Pages Crawled
8Links to this site
3BENEDIKT-AHRENS.DE RANKINGS
This web page benedikt-ahrens.de has seen variant amounts of traffic in the past the year.
Date Range
1 week
1 month
3 months
This Year
Last Year
All time
Date Range
All time
This Year
Last Year
Date Range
All time
This Year
Last Year
Last Month
LINKS TO WEB SITE
FOMUS - Foundations of MathematicsUnivalent foundations and set theoryBielefeld, Germany July 18-23, 2016 - Home
Univalent foundations and set theory. 8203;Bielefeld, Germany July 18-23, 2016. What are Suitable Criteria for the Foundations of Mathematics? The FOMUS workshop was held at the Center for Interdisciplinary Research. Held at the University of Bonn in March 2015.
WHAT DOES BENEDIKT-AHRENS.DE LOOK LIKE?
BENEDIKT-AHRENS.DE HOST
Our parsers observed that a single root page on benedikt-ahrens.de took one thousand four hundred and twenty-four milliseconds to stream. We could not detect a SSL certificate, so therefore I consider benedikt-ahrens.de not secure.
Load time
1.424 secs
SSL
NOT SECURE
Internet Protocol
78.47.87.35
SERVER OS AND ENCODING
I caught that this domain is utilizing the Apache/2.2.22 (Ubuntu) operating system.PAGE TITLE
Benedikt Ahrens About me ContactDESCRIPTION
About me and Contact. About me and Contact. I am a mathematician with a PhD from Università Nice Sophia Antipolis. Currently, I am a postdoctoral researcher in the Ascola team at INRIA. My research interests include. Semantics of programming languages. Logic and type theory, in particular Homotopy Type Theory. Formal proofs and formalised mathematics, in particular Univalent Foundations. Category theory in programming. First name.last namegmx.net. First name.last nameinria.fr. Ecole des Mines de Nantes.CONTENT
This web page benedikt-ahrens.de has the following in the site, "I am a mathematician with a PhD from Università Nice Sophia Antipolis." We saw that the webpage also stated " Currently, I am a postdoctoral researcher in the Ascola team at INRIA." It also said " Logic and type theory, in particular Homotopy Type Theory. Formal proofs and formalised mathematics, in particular Univalent Foundations. Ecole des Mines de Nantes."VIEW SUBSEQUENT DOMAINS
The Real Mr.Fitz
So they come here to get heard. Voices get louder out in the hall, Raised in anger. And a crowd of students Rushes away to see it. Free entertainment! November 11, 2016.
Dogs, cats, knitting, etc.
Dogs, cats, knitting, etc. The idea here is to keep track of the important things, that I would otherwise forget, disregard or ignore. I expect the content to be mostly knitting related. Thursday, February 07, 2013.