Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * |
Title | Georgios |
Description | Georgios Bakirtzis I am a postdoc at The University of Texas at Austin, working with Ufuk Topcu . My work straddles the realms of logic, category theory, |
Keywords | N/A |
WebSite | bakirtzis.net |
Host IP | 208.94.118.191 |
Location | United States |
Site | Rank |
US$488,606
Last updated: 2023-05-18 11:38:49
bakirtzis.net has Semrush global rank of 21,662,285. bakirtzis.net has an estimated worth of US$ 488,606, based on its estimated Ads revenue. bakirtzis.net receives approximately 56,378 unique visitors each day. Its web server is located in United States, with IP address 208.94.118.191. According to SiteAdvisor, bakirtzis.net is safe to visit. |
Purchase/Sale Value | US$488,606 |
Daily Ads Revenue | US$452 |
Monthly Ads Revenue | US$13,531 |
Yearly Ads Revenue | US$162,368 |
Daily Unique Visitors | 3,759 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
bakirtzis.net. | A | 3600 | IP: 208.94.118.191 |
bakirtzis.net. | NS | 3600 | NS Record: ns.phx6.nearlyfreespeech.net. |
bakirtzis.net. | NS | 3600 | NS Record: ns.phx2.nearlyfreespeech.net. |
bakirtzis.net. | MX | 3600 | MX Record: 20 in2-smtp.messagingengine.com. |
bakirtzis.net. | MX | 3600 | MX Record: 10 in1-smtp.messagingengine.com. |
bakirtzis.net. | TXT | 3600 | TXT Record: v=spf1 include:spf.messagingengine.com ?all |
Georgios Bakirtzis I am a postdoc at The University of Texas at Austin, working with Ufuk Topcu . My work straddles the realms of logic, category theory, and learning, with a particular focus on enhancing the safety, security, and resilience of cyber-physical systems. My recent research is motivated by fundamental questions arising at the intersection of trustworthy autonomy and the mathematics of interconnection, composition, relation, and translation. cv | github | preprints | publications | email Essays Responsible development for the physical world Increment; 2021 a case for designing software with safety and formal methods in mind Turing categories The n-Category Café; 2019 what is the connection between computation and category |
HTTP/1.1 301 Moved Permanently Date: Wed, 15 Jun 2022 08:24:22 GMT Server: Apache Location: https://bakirtzis.net/ Content-Type: text/html; charset=iso-8859-1 HTTP/2 200 via: e3s date: Wed, 15 Jun 2022 08:24:23 GMT server: Apache last-modified: Mon, 14 Mar 2022 07:23:09 GMT etag: "69343-5da288d66a17c" accept-ranges: bytes content-length: 430915 content-type: text/html; charset=UTF-8 |
Domain Name: BAKIRTZIS.NET Registry Domain ID: 1841837297_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.PublicDomainRegistry.com Registrar URL: http://www.publicdomainregistry.com Updated Date: 2022-01-08T11:38:31Z Creation Date: 2014-01-07T20:33:25Z Registry Expiry Date: 2024-01-07T20:33:25Z Registrar: PDR Ltd. d/b/a PublicDomainRegistry.com Registrar IANA ID: 303 Registrar Abuse Contact Email: abuse-contact@publicdomainregistry.com Registrar Abuse Contact Phone: +1.2013775952 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS.PHX2.NEARLYFREESPEECH.NET Name Server: NS.PHX6.NEARLYFREESPEECH.NET DNSSEC: unsigned >>> Last update of whois database: 2022-06-15T09:29:29Z <<< |