Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Dr Heidy |
Description | Dr Heidy Khlaaf Dr Heidy Khlaaf MBCS Director of Engineering Computer Science PhD (Formal Verification) Climber London, UK Bio Pubs. Talks Media Climbing Contact Elements |
Keywords | N/A |
WebSite | heidyk.com |
Host IP | 46.101.65.63 |
Location | Netherlands |
Site | Rank |
US$1,001,873
Last updated: 2023-05-18 16:00:37
heidyk.com has Semrush global rank of 10,564,523. heidyk.com has an estimated worth of US$ 1,001,873, based on its estimated Ads revenue. heidyk.com receives approximately 115,601 unique visitors each day. Its web server is located in Netherlands, with IP address 46.101.65.63. According to SiteAdvisor, heidyk.com is safe to visit. |
Purchase/Sale Value | US$1,001,873 |
Daily Ads Revenue | US$925 |
Monthly Ads Revenue | US$27,745 |
Yearly Ads Revenue | US$332,930 |
Daily Unique Visitors | 7,707 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
heidyk.com. | A | 300 | IP: 46.101.65.63 |
heidyk.com. | NS | 10800 | NS Record: ns-9-b.gandi.net. |
heidyk.com. | NS | 10800 | NS Record: ns-119-c.gandi.net. |
heidyk.com. | NS | 10800 | NS Record: ns-39-a.gandi.net. |
heidyk.com. | MX | 10800 | MX Record: 10 spool.mail.gandi.net. |
heidyk.com. | MX | 10800 | MX Record: 50 fb.mail.gandi.net. |
heidyk.com. | TXT | 10800 | TXT Record: v=spf1 include:_mailcust.gandi.net ?all |
Dr Heidy Khlaaf MBCS Director of Engineering Computer Science PhD (Formal Verification) Climber London, UK Bio Pubs. Talks Media Climbing Contact Elements --> Bio Download CV Dr. Heidy Khlaaf is an Engineering Director at Trail of Bits specializing in the evaluation, specification, and verification of complex or autonomous software implementations in safety-critical systems, ranging from UAVs to large nuclear power plants. Her expertise ranges from leading numerous system safety audits (e.g., IEC 61508, DO-178C) that contribute to the assurance of safety-critical software within regulatory frameworks and safety cases, to bolstering the dependability and robustness of complex software systems through techniques such as system hazard analyses and formal verification to identify and mitigate for system and software risks. She is known for her work leading the safety evaluation of Codex through developing a framework that measures a code generation models’ performance based on the the |
HTTP/1.1 301 Moved Permanently Server: nginx/1.12.2 Date: Fri, 01 Jul 2022 09:15:23 GMT Content-Type: text/html Content-Length: 185 Connection: keep-alive Location: https://www.heidyk.com/ HTTP/1.1 200 OK Server: nginx/1.12.2 Date: Fri, 01 Jul 2022 09:15:23 GMT Content-Type: text/html Content-Length: 22702 Last-Modified: Mon, 13 Jun 2022 17:14:06 GMT Connection: keep-alive ETag: "62a7705e-58ae" Accept-Ranges: bytes |
Domain Name: HEIDYK.COM Registry Domain ID: 1596729623_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.gandi.net Registrar URL: http://www.gandi.net Updated Date: 2022-06-13T17:04:24Z Creation Date: 2010-05-11T06:57:37Z Registry Expiry Date: 2026-05-11T06:57:37Z Registrar: Gandi SAS Registrar IANA ID: 81 Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS-119-C.GANDI.NET Name Server: NS-39-A.GANDI.NET Name Server: NS-9-B.GANDI.NET DNSSEC: unsigned >>> Last update of whois database: 2022-07-01T09:22:06Z <<< |