julesjacobs.com valuation and analysis

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

                

                
Meta Tags

                

                    

                        Title
                        Jules                        
                    

                    

                        Description
                                                        Publications email github twitter mastodon deadlines photos Hi, I am Jules Jacobs . I am in the final year of my PhD program at Radboud University, working on formal v                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        julesjacobs faviconjulesjacobs.com                            
                        
                    

                    

                        Host IP
                        185.199.111.153                        
                    

                    

                        Location
                        -                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
julesjacobs.com Valuation

                

                    

                        
                            

                                
US$2,106,267                                

                                

                                
                                

                                    Last updated: 2023-05-12 21:52:35                                    
                                

                            

                            
julesjacobs.com has Semrush global rank of 5,025,148. julesjacobs.com has an estimated worth of US$ 2,106,267, based on its estimated Ads revenue. julesjacobs.com receives approximately 243,031 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, julesjacobs.com is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$2,106,267                            
                    

                    

                        Daily Ads Revenue
                        US$1,945                            
                    

                    

                        Monthly Ads Revenue
                        US$58,328                            
                    

                    

                        Yearly Ads Revenue
                        US$699,929                            
                    

                    

                        Daily Unique Visitors
                        16,203
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        julesjacobs.com.                        
                        A
                        
                        3600                        
                        IP: 185.199.111.153                        
                    

                                        

                        julesjacobs.com.                        
                        A
                        
                        3600                        
                        IP: 185.199.109.153                        
                    

                                        

                        julesjacobs.com.                        
                        A
                        
                        3600                        
                        IP: 185.199.110.153                        
                    

                                        

                        julesjacobs.com.                        
                        A
                        
                        3600                        
                        IP: 185.199.108.153                        
                    

                                                                                

                        julesjacobs.com.                        
                        NS
                        
                        21600                        
                        NS Record: ns-cloud-c3.googledomains.com.                        
                    

                                        

                        julesjacobs.com.                        
                        NS
                        
                        21600                        
                        NS Record: ns-cloud-c4.googledomains.com.                        
                    

                                        

                        julesjacobs.com.                        
                        NS
                        
                        21600                        
                        NS Record: ns-cloud-c2.googledomains.com.                        
                    

                                        

                        julesjacobs.com.                        
                        NS
                        
                        21600                        
                        NS Record: ns-cloud-c1.googledomains.com.                        
                    

                                                            

                        julesjacobs.com.                        
                        MX
                        
                        3600                        
                        MX Record: 5 gmr-smtp-in.l.google.com.                        
                    

                                        

                        julesjacobs.com.                        
                        MX
                        
                        3600                        
                        MX Record: 30 alt3.gmr-smtp-in.l.google.com.                        
                    

                                        

                        julesjacobs.com.                        
                        MX
                        
                        3600                        
                        MX Record: 10 alt1.gmr-smtp-in.l.google.com.                        
                    

                                        

                        julesjacobs.com.                        
                        MX
                        
                        3600                        
                        MX Record: 20 alt2.gmr-smtp-in.l.google.com.                        
                    

                                        

                        julesjacobs.com.                        
                        MX
                        
                        3600                        
                        MX Record: 40 alt4.gmr-smtp-in.l.google.com.                        
                    

                                        
                

                
                                
HtmlToTextCheckTime:2023-05-12 21:52:35

                

                    

                        
                            email github twitter mastodon deadlines photos Hi, I am Jules Jacobs . I am in the final year of my PhD program at Radboud University, working on formal verification and programming languages under Robbert Krebbers . Additionally, I am investigating deadlock freedom with Stephanie Balzer . Some of my favourite things are: type theory , parametricity , SSA as a data flow lattice , generating functions & Kirchoff’s matrix-tree theorem , differential forms & the Gauss-Bonnet theorem , star semirings , Lagrangian mechanics . Publications POPL’23 Higher-Order Leak and Deadlock Free Locks Jules Jacobs , Stephanie Balzer .pdf slides code bibtex distinguished paper @article{jacobs_locks_2023, author = {Jacobs, Jules and Balzer, Stephanie}, title = {Higher-Order Leak and Deadlock Free Locks}, year = {2023}, volume = {7}, number = {POPL}, doi = {10.1145/3571229}, journal = {Proc. ACM Program. Lang.}, articleno = {36}, } POPL’23 Fast Coalgebraic Bisimilarity Minimization Jules Jacobs , Thorsten                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 301 Moved Permanently
Server: GitHub.com
Content-Type: text/html
Location: https://julesjacobs.com/
X-GitHub-Request-Id: 38EE:6FD8:638794:D86CCD:61BFE69F
Content-Length: 162
Accept-Ranges: bytes
Date: Mon, 20 Dec 2021 02:12:47 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-ewr18175-EWR
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1639966367.235220,VS0,VE11
Vary: Accept-Encoding
X-Fastly-Request-ID: a2ddcb4768a931bf9790d79ee1a8fefd3e318ce0

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 15 Dec 2021 13:24:58 GMT
access-control-allow-origin: *
etag: "61b9ecaa-5005"
expires: Mon, 20 Dec 2021 02:22:47 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 0A58:62F3:7E116A:F501FF:61BFE69F
accept-ranges: bytes
date: Mon, 20 Dec 2021 02:12:47 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-ewr18147-EWR
x-cache: MISS
x-cache-hits: 0
x-timer: S1639966367.336711,VS0,VE16
vary: Accept-Encoding
x-fastly-request-id: ab06e30a9f0aa80f958684cc0c492c9d9c50dde5
content-length: 20485

                        		
                    

                

                
                                
julesjacobs.com Whois Information

                

                    

                        
                            
Domain Name: JULESJACOBS.COM
Registry Domain ID: 2568912707_DOMAIN_COM-VRSN
Registrar WHOIS Server: whois.google.com
Registrar URL: http://domains.google.com
Updated Date: 2021-11-12T12:15:50Z
Creation Date: 2020-10-29T00:00:19Z
Registry Expiry Date: 2026-10-29T00:00:19Z
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-C1.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C2.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C3.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C4.GOOGLEDOMAINS.COM
DNSSEC: signedDelegation
DNSSEC DS Data: 19816 8 2 CC761928E17139F86099203473FD271604453CEAE9AE70FB3D5F4ABCC7D38D7E
>>> Last update of whois database: 2021-12-23T07:27:59Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0191