andreas-lochbihler.de bewertung und analyse
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Dr. Andreas |
| Description | ☰ Dr. Andreas Lochbihler mail@andreas-lochbihler.de About me I am now a software engineer at Digital Asset working on the Canton protocol . This is my pri |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 5.175.14.111 |
| Location | Germany |
Verwandte Websites
| Site | Rank |
| andreasl.de | 9,637,081 |
| andreasgeisler.com | 0 |
| andreasley.ch | 17,070,275 |
| andreas-hofer.at | 4,395,141 |
| andreasfretz.de | 0 |
Mehr zu entdecken
andreas-lochbihler.de bewertung
|
Euro€2,204
Zuletzt aktualisiert: 2022-06-26 22:44:52
andreas-lochbihler.de hat Semrush globalen Rang von 12,645,506. andreas-lochbihler.de hat einen geschätzten Wert von € 2,204, basierend auf seinen geschätzten Werbeeinnahmen. andreas-lochbihler.de empfängt jeden Tag ungefähr 551 einzelne Besucher. Sein Webserver befindet sich in Germany mit der IP-Adresse 5.175.14.111. Laut SiteAdvisor ist andreas-lochbihler.de sicher zu besuchen. |
Verkehr & Wertschätzungen
| Kauf-/Verkaufswert | Euro€2,204 |
| Tägliche Werbeeinnahmen | Euro€62,814 |
| Monatlicher Anzeigenumsatz | Euro€20,938 |
| Jährliche Werbeeinnahmen | Euro€1,653 |
| Tägliche eindeutige Besucher | 551 |
| Hinweis: Alle Traffic- und Einnahmenwerte sind Schätzungen. | |
DNS Records
| Host | Type | TTL | Data |
| andreas-lochbihler.de. | A | 599 | IP: 5.175.14.111 |
| andreas-lochbihler.de. | AAAA | 599 | IPV6: 2a01:488:42:1000:50ed:826f:ffd3:68bf |
| andreas-lochbihler.de. | NS | 3600 | NS Record: ns78.domaincontrol.com. |
| andreas-lochbihler.de. | NS | 3600 | NS Record: ns77.domaincontrol.com. |
| andreas-lochbihler.de. | MX | 600 | MX Record: 50 mx0.andreas-lochbihler.de. |
| andreas-lochbihler.de. | TXT | 86400 | TXT Record: v=spf1 a mx include:spf.server-he.de -all |
HtmlToTextCheckTime:2022-06-26 22:44:52
| ☰ Dr. Andreas Lochbihler mail@andreas-lochbihler.de About me I am now a software engineer at Digital Asset working on the Canton protocol . This is my private homepage and its content does not necessarily represent Digital Asset’s views or positions. From 2013 to 2018, I was a senior researcher in the Information Security Group at ETH Zürich . My research revolved around the theory and tools to formalise protocols and their proofs such that definitions and proofs can be check mechanically. My framework CryptHOL brings to cryptography the expressiveness and rigour of higher-order logic and coalgebraic methods as implemented in the proof assistant Isabelle/HOL . Before joining ETH, I was a member of Programming Paradigms group at the Karlsruhe Institute of Technology and of the Sofware Systems group at the University of Passau . I received my PhD from the KIT in 2012. In my thesis, I built a formal model of Java concurrency which formalises source code, bytecode, a virtual machine, the |
HTTP Headers
HTTP/1.1 200 OK Date: Mon, 25 Oct 2021 17:12:39 GMT Content-Type: text/html Content-Length: 96000 Connection: keep-alive Server: Apache Last-Modified: Sat, 28 Aug 2021 11:06:03 GMT ETag: "17700-5ca9c95f536f3" Accept-Ranges: bytes |