florisvandoorn.com valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        Floris van Doorn’s Home                        
                    

                    

                        Description
                                                        Floris van Doorn e-mail: fpvdoorn@gmail.com I am a postdoc at the mathematics department of the University of Paris-Saclay , working with Patrick Massot w                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        florisvandoorn faviconflorisvandoorn.com                            
                        
                    

                    

                        Host IP
                        185.199.108.153                        
                    

                    

                        Location
                        -                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
florisvandoorn.com Valuation

                

                    

                        
                            

                                
US$275,565                                

                                

                                
                                

                                    Last updated: 2023-05-13 15:25:25                                    
                                

                            

                            
florisvandoorn.com has Semrush global rank of 38,409,519. florisvandoorn.com has an estimated worth of US$ 275,565, based on its estimated Ads revenue. florisvandoorn.com receives approximately 31,796 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, florisvandoorn.com is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$275,565                            
                    

                    

                        Daily Ads Revenue
                        US$255                            
                    

                    

                        Monthly Ads Revenue
                        US$7,632                            
                    

                    

                        Yearly Ads Revenue
                        US$91,573                            
                    

                    

                        Daily Unique Visitors
                        2,120
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        florisvandoorn.com.                        
                        A
                        
                        899                        
                        IP: 185.199.108.153                        
                    

                                        

                        florisvandoorn.com.                        
                        A
                        
                        899                        
                        IP: 185.199.109.153                        
                    

                                        

                        florisvandoorn.com.                        
                        A
                        
                        899                        
                        IP: 185.199.111.153                        
                    

                                        

                        florisvandoorn.com.                        
                        A
                        
                        899                        
                        IP: 185.199.110.153                        
                    

                                                                                

                        florisvandoorn.com.                        
                        NS
                        
                        900                        
                        NS Record: ns2.hover.com.                        
                    

                                        

                        florisvandoorn.com.                        
                        NS
                        
                        900                        
                        NS Record: ns1.hover.com.                        
                    

                                                            

                        florisvandoorn.com.                        
                        MX
                        
                        900                        
                        MX Record: 10 mx.hover.com.cust.hostedemail.com.                        
                    

                                        
                

                
                                
HtmlToTextCheckTime:2023-05-13 15:25:25

                

                    

                        
                            Floris van Doorn e-mail: fpvdoorn@gmail.com I am a postdoc at the mathematics department of the University of Paris-Saclay , working with Patrick Massot working on formalized mathematics in the Lean Theorem Prover . I am a maintainer of its mathematical library mathlib , and my latest project was the sphere eversion project . In this project we formalized an important result in differential topology, namely Gromov’s h-principle for first-order differential relations using a technique called convex integration . To try Lean, I recommend the Natural Number Game by Kevin Buzzard and Mohammad Pedramfar. Or check out these other ways of learning Lean . Until summer 2021, I was a postdoc at the mathematics department of the University of Pittsburgh, working with Tom Hales on the Formal Abstracts and Flypitch projects. I did my PhD at Carnegie Mellon University under supervision of Jeremy Avigad and Steve Awodey . My dissertation is titled On the Formalization of Higher Inductive Types and                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 200 OK
Server: GitHub.com
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 09 Nov 2021 22:24:29 GMT
Access-Control-Allow-Origin: *
ETag: "618af51d-4c00"
expires: Tue, 21 Dec 2021 16:04:25 GMT
Cache-Control: max-age=600
x-proxy-cache: MISS
X-GitHub-Request-Id: 4D7E:3C0F:712F4:1DABAF:61C1F8B1
Content-Length: 19456
Accept-Ranges: bytes
Date: Tue, 21 Dec 2021 15:54:25 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-lga21947-LGA
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1640102065.281345,VS0,VE18
Vary: Accept-Encoding
X-Fastly-Request-ID: 2d7304f87c496727d89ae06b33bb7ec4a799ea2b

                        		
                    

                

                
                                
florisvandoorn.com Whois Information

                

                    

                        
                            
Domain Name: FLORISVANDOORN.COM
Registry Domain ID: 2059281169_DOMAIN_COM-VRSN
Registrar WHOIS Server: whois.tucows.com
Registrar URL: http://www.tucows.com
Updated Date: 2021-09-13T09:39:47Z
Creation Date: 2016-09-14T02:15:31Z
Registry Expiry Date: 2022-09-14T02:15:31Z
Registrar: Tucows Domains Inc.
Registrar IANA ID: 69
Registrar Abuse Contact Email: domainabuse@tucows.com
Registrar Abuse Contact Phone: +1.4165350123
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited
Name Server: NS1.HOVER.COM
Name Server: NS2.HOVER.COM
DNSSEC: unsigned
>>> Last update of whois database: 2021-12-24T08:37:52Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0182