Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Jonathan Protzenko | Microsoft Research, |
Description | Current Microsoft Research, |
Keywords | N/A |
WebSite | protzenko.fr |
Host IP | 37.187.114.5 |
Location | France |
Euro€645,122
Dernière mise à jour: 2022-07-02 05:25:31
protzenko.fr a un classement mondial Semrush de 16,406,676. protzenko.fr a une valeur estimée à € 645,122, sur la base de ses revenus publicitaires estimés. protzenko.fr reçoit environ 74,438 visiteurs uniques chaque jour. Son serveur Web est situé au France, avec l'adresse IP 37.187.114.5.Selon SiteAdvisor, protzenko.fr est sûr à visiter. |
Valeur d'achat/vente | Euro€645,122 |
Revenus publicitaires quotidiens | Euro€596 |
Revenus publicitaires mensuels | Euro€17,865 |
Revenus publicitaires annuels | Euro€214,379 |
Visiteurs uniques quotidiens | 4,963 |
Remarque: Toutes les valeurs de trafic et de revenus sont des estimations. |
Host | Type | TTL | Data |
protzenko.fr. | A | 7198 | IP: 37.187.114.5 |
protzenko.fr. | AAAA | 7198 | IPV6: 2001:41d0:a:6705::1 |
protzenko.fr. | NS | 86400 | NS Record: ns.kimsufi.com. |
protzenko.fr. | NS | 86400 | NS Record: ns328444.ip-37-187-114.eu. |
protzenko.fr. | MX | 86400 | MX Record: 10 protzenko.fr. |
Jonathan Protzenko Microsoft Research, Seattle. jonathan.protzenko@ens-lyon.org Blog Publications Research Service Software Talks Teaching protz _protz_ I am a Principal Researcher in the RiSE group at Microsoft Research Redmond, which I joined in Fall 2014. Previously, I was in the Gallium team at INRIA Paris from 2010 to 2014, designing and implementing Mezzo for my PhD under the direction of François Pottier . My research focuses on advancing the theory and practice of software verification, i.e. showing with mathematical certainty that a critical piece of code exhibits the intended behavior. This is important for the software industry (e.g. cryptography), but also for society at large (e.g. the law). See our interview in Quanta Magazine for an accessible introduction to verified cryptography, this roundtable on verified cryptography for a research perspective, or the recent CACM Article for a perspective on computational law. Current projects The Catala project (2020-) looks at |
HTTP/1.1 301 Moved Permanently Date: Wed, 27 Oct 2021 19:06:44 GMT Server: Apache/2.4.25 (Debian) Location: https://protzenko.fr/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 302 Found Date: Wed, 27 Oct 2021 19:06:44 GMT Server: Apache/2.4.25 (Debian) Location: http://jonathan.protzenko.fr Content-Type: text/html; charset=UTF-8 HTTP/1.1 301 Moved Permanently Date: Wed, 27 Oct 2021 19:06:45 GMT Server: Apache/2.4.25 (Debian) Location: https://jonathan.protzenko.fr/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Wed, 27 Oct 2021 19:06:45 GMT Server: Apache/2.4.25 (Debian) Last-Modified: Thu, 16 Sep 2021 16:07:44 GMT ETag: "3015-5cc1f03d69400" Accept-Ranges: bytes Content-Length: 12309 Vary: Accept-Encoding Content-Type: text/html |
domain: protzenko.fr status: ACTIVE hold: NO holder-c: ANO00-FRNIC admin-c: ANO00-FRNIC tech-c: OVH5-FRNIC zone-c: NFC1-FRNIC nsl-id: NSL107018-FRNIC registrar: OVH Expiry Date: 2026-12-08T18:52:41Z created: 2014-12-08T18:52:41Z last-update: 2019-12-08T13:24:17Z source: FRNIC ns-list: NSL107018-FRNIC nserver: ns328444.ip-37-187-114.eu nserver: ns.kimsufi.com source: FRNIC registrar: OVH type: Isp Option 1 address: 2 Rue Kellermann address: 59100 ROUBAIX country: FR phone: +33 8 99 70 17 61 fax-no: +33 3 20 20 09 58 e-mail: support@ovh.net website: http://www.ovh.com anonymous: NO registered: 1999-10-21T12:00:00Z source: FRNIC nic-hdl: ANO00-FRNIC type: PERSON contact: Ano Nymous registrar: OVH anonymous: YES obsoleted: NO eligstatus: not identified reachstatus: not identified source: FRNIC nic-hdl: ANO00-FRNIC type: PERSON contact: Ano Nymous registrar: OVH anonymous: YES obsoleted: NO eligstatus: not identified reachstatus: not identified source: FRNIC nic-hdl: OVH5-FRNIC type: ROLE contact: OVH NET address: OVH address: 140, quai du Sartel address: 59100 Roubaix country: FR phone: +33 8 99 70 17 61 e-mail: tech@ovh.net admin-c: OK217-FRNIC tech-c: OK217-FRNIC notify: tech@ovh.net registrar: OVH anonymous: NO obsoleted: NO eligstatus: not identified reachstatus: not identified source: FRNIC |