Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Tom de |
Description | Tom de Jong About Writings Talks Teaching Misc. Contact About me I am a postdoc at the University of Nottingham in the Functional Programming Lab working |
Keywords | N/A |
WebSite | tdejong.com |
Host IP | 185.199.111.153 |
Location | - |
Site | Rank |
US$330,036
Last updated: 2023-05-19 18:15:41
tdejong.com has Semrush global rank of 32,070,213. tdejong.com has an estimated worth of US$ 330,036, based on its estimated Ads revenue. tdejong.com receives approximately 38,081 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, tdejong.com is safe to visit. |
Purchase/Sale Value | US$330,036 |
Daily Ads Revenue | US$305 |
Monthly Ads Revenue | US$9,140 |
Yearly Ads Revenue | US$109,674 |
Daily Unique Visitors | 2,539 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
tdejong.com. | A | 3599 | IP: 185.199.111.153 |
tdejong.com. | A | 3599 | IP: 185.199.110.153 |
tdejong.com. | A | 3599 | IP: 185.199.108.153 |
tdejong.com. | A | 3599 | IP: 185.199.109.153 |
tdejong.com. | NS | 21600 | NS Record: ns-cloud-a2.googledomains.com. |
tdejong.com. | NS | 21600 | NS Record: ns-cloud-a3.googledomains.com. |
tdejong.com. | NS | 21600 | NS Record: ns-cloud-a1.googledomains.com. |
tdejong.com. | NS | 21600 | NS Record: ns-cloud-a4.googledomains.com. |
Tom de Jong About Writings Talks Teaching Misc. Contact About me I am a postdoc at the University of Nottingham in the Functional Programming Lab working on homotopy type theory under the supervision of Nicolai Kraus . From October 2018 until September 2022 I was a PhD student at the University of Birmingham in the Theoretical Computer Science group. My supervisor was Martín Escardó and my co-supervisor was Benedikt Ahrens . My PhD research was on domain theory in constructive and predicative univalent foundations . Before that, I obtained a double bachelor’s degree in Computer Science and Mathematics at Utrecht University in 2015, and completed a research master in Mathematics at the same university in 2018. My master’s thesis was on the realizability topos of Scott’s graph model and was supervised by Jaap van Oosten . News Our paper on the cumulative hierarchy and ordinals in homotopy type theory got accepted for presentation at LICS 2023 . I will give talks at the HoTT 2023 and |
HTTP/1.1 301 Moved Permanently Connection: keep-alive Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://tdejong.com/ X-GitHub-Request-Id: FEC4:752C:53A249:56993D:6368C03B Accept-Ranges: bytes Date: Mon, 07 Nov 2022 08:22:19 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-hel1410029-HEL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1667809339.107711,VS0,VE131 Vary: Accept-Encoding X-Fastly-Request-ID: b5fd2c160847a7f64dcfd5d2c940cb666b06d3d7 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Fri, 04 Nov 2022 11:28:13 GMT access-control-allow-origin: * etag: "6364f74d-948" expires: Mon, 07 Nov 2022 08:32:19 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: FEBC:6D41:21E459A:22F5AA4:6368C03B accept-ranges: bytes date: Mon, 07 Nov 2022 08:22:19 GMT via: 1.1 varnish age: 0 x-served-by: cache-hel1410023-HEL x-cache: MISS x-cache-hits: 0 x-timer: S1667809339.292510,VS0,VE154 vary: Accept-Encoding x-fastly-request-id: 8971401977f804b81a7c376448ae9f47bccf2084 content-length: 2376 |
Domain Name: TDEJONG.COM Registry Domain ID: 2709319410_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2022-07-07T11:25:34Z Creation Date: 2022-07-07T11:25:33Z Registry Expiry Date: 2023-07-07T11:25:33Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS-CLOUD-A1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A4.GOOGLEDOMAINS.COM DNSSEC: signedDelegation DNSSEC DS Data: 29599 8 2 73ED43362BCAB7957E8B8AC809D34378E740D2FA0E972E2C601B4FD58021F8C0 >>> Last update of whois database: 2022-11-07T08:19:47Z <<< |