Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Khalil |
Description | $whoami Khalil Ghorbal’s Homepage, Inria, |
Keywords | N/A |
WebSite | khalilghorbal.info |
Host IP | 192.30.252.153 |
Location | United States |
Site | Rank |
US$439,569
Last updated: 2023-05-15 21:20:08
khalilghorbal.info has Semrush global rank of 24,078,837. khalilghorbal.info has an estimated worth of US$ 439,569, based on its estimated Ads revenue. khalilghorbal.info receives approximately 50,720 unique visitors each day. Its web server is located in United States, with IP address 192.30.252.153. According to SiteAdvisor, khalilghorbal.info is safe to visit. |
Purchase/Sale Value | US$439,569 |
Daily Ads Revenue | US$406 |
Monthly Ads Revenue | US$12,173 |
Yearly Ads Revenue | US$146,073 |
Daily Unique Visitors | 3,382 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
khalilghorbal.info. | A | 1799 | IP: 192.30.252.153 |
khalilghorbal.info. | A | 1799 | IP: 192.30.252.154 |
khalilghorbal.info. | NS | 10800 | NS Record: ns-171-c.gandi.net. |
khalilghorbal.info. | NS | 10800 | NS Record: ns-92-a.gandi.net. |
khalilghorbal.info. | NS | 10800 | NS Record: ns-99-b.gandi.net. |
khalilghorbal.info. | MX | 10800 | MX Record: 10 spool.mail.gandi.net. |
khalilghorbal.info. | MX | 10800 | MX Record: 50 fb.mail.gandi.net. |
khalilghorbal.info. | TXT | 10800 | TXT Record: v=spf1 include:_mailcust.gandi.net ?all |
Home Research Teaching CAT - Category Theory, Monads, and Computation DAE – Differential Algebraic Equations SPA - Solvers Principles and Architecture Projects ModeliScale Talks $whoami I am currently a researcher at Inria (Rennes, France), in the Hycomes group. My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. This includes: Algebraic methods for generating invariant sets Certified numerical computations Quantifier elimination in finite and real closed fields Combinatorial optimization I was previously a postdoc at Carnegie Mellon University (Pittsburgh, PA, USA), School of Computer Science, Logical Systems Lab and before that at NEC Labs America, System Analysis and Verification Group (Princeton, NJ, USA). Khalil Ghorbal khalil.ghorbal@inria.fr +33 2 99 84 75 |
HTTP/1.1 200 OK Server: GitHub.com Date: Fri, 14 Jan 2022 09:23:41 GMT Content-Type: text/html; charset=utf-8 Content-Length: 6072 Vary: Accept-Encoding Last-Modified: Fri, 17 Dec 2021 10:31:26 GMT Vary: Accept-Encoding Access-Control-Allow-Origin: * ETag: "61bc66fe-17b8" expires: Fri, 14 Jan 2022 09:33:41 GMT Cache-Control: max-age=600 Accept-Ranges: bytes x-proxy-cache: MISS X-GitHub-Request-Id: BD66:6915:4B56CB:84557B:61E1411D |
Domain Name: khalilghorbal.info Registry Domain ID: d668281c2d8945a794b1a071157559f6-DONUTS Registrar WHOIS Server: whois.gandi.net Registrar URL: https://www.gandi.net Updated Date: 2021-11-24T18:08:07Z Creation Date: 2017-11-20T10:41:21Z Registry Expiry Date: 2022-11-20T10:41:21Z 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 Registrant State/Province: Paris Registrant Country: FR Name Server: ns-92-a.gandi.net Name Server: ns-171-c.gandi.net Name Server: ns-99-b.gandi.net DNSSEC: unsigned >>> Last update of WHOIS database: 2022-01-14T15:35:28Z <<< |