Domain > jakobbotsch.com

Welcome! Right click nodes and scroll the mouse to navigate the graph.

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2025-02-06	20.105.224.16 (ClassC)

Port 443

HTTP/1.1 200 OKContent-Length: 3782Content-Type: text/htmlDate: Fri, 13 Oct 2023 21:16:08 GMTServer: ApacheAccept-Ranges: bytesETag: ec6-5eab582345080Last-Modified: Mon, 10 Oct 2022 22:16:18 GMTVary:

!DOCTYPE html>html langen>  head>    meta charsetutf-8>    title>Jakob Botsch Nielsen/title>    meta nameviewport contentwidthdevice-width, initial-scale1>    link relstylesheet hrefstyle.css>  /head>  body>h1>Jakob Botsch Nielsen/h1>p>    Hi, my name is Jakob.    I am a software engineer from Aarhus, Denmark working remotely at Microsoft on the .NET JIT compiler.    You can find me day-to-day on a hrefhttps://github.com/jakobbotsch>GitHub/a>. br/>br />    Before my switch to Microsoft I was a PhD student in the a hrefhttp://cs.au.dk/research/logic-and-semantics/>Logic and Semantics group/a> at Aarhus University    where I applied formal methods in the area of smart contracts using the Coq proof assistant.    I am still interested and sometimes active in projects like a hrefhttps://github.com/AU-COBRA/ConCert>ConCert/a> and a hrefhttps://github.com/MetaCoq/metacoq>MetaCoq/a>./p>h2>Work experience/h2>div classwork-experience>    h3 classwork-title>Software Engineer/h3>    h4 classwork-org>Microsoft/h4>    h4 classwork-period>Apr 2021 — Present/h4>    p>    I work on the open-source .NET JIT compiler.    You can see me work in the a hrefhttps://github.com/dotnet/runtime>dotnet/runtime/a> repository on GitHub.    /p>/div>div classwork-experience>    h3 classwork-title>Software Engineer Intern/h3>    h4 classwork-org>Microsoft/h4>    h4 classwork-period>Jul 2019 — Sep 2019/h4>    p>    I was an intern on the .NET core JIT compiler team in Redmond where I worked on enabling tail call optimization in a wider range of scenarios than previously.    /p>/div>div classwork-experience>    h3 classwork-title>Senior Developer/h3>    h4 classwork-org>Bossland GmbH/h4>    h4 classwork-period>Sep 2009 — Aug 2018/h4>    p>    I was involved in writing automation software for various computer games such as World of Warcraft.    /p>/div>ul>/ul>hr />h2>Publications/h2>ul>    li>        i>Extracting Smart Contracts Tested and Verified in Coq/i> /br>        Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitte

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > jakobbotsch.com

Is this malicious?

DNS Resolutions

Port 443