Domain > www.kroening.com

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2014-11-22	54.231.136.202 (ClassC)
2014-11-25	54.231.136.13 (ClassC)
2014-12-02	54.231.132.21 (ClassC)
2014-12-03	54.231.140.203 (ClassC)
2014-12-04	54.231.132.250 (ClassC)
2014-12-13	54.231.132.77 (ClassC)
2015-04-30	54.231.133.242 (ClassC)
2024-10-07	99.84.66.104 (ClassC)
2025-06-30	99.84.66.11 (ClassC)
2025-07-04	99.84.66.42 (ClassC)
2025-08-19	99.84.66.10 (ClassC)
2026-01-27	3.169.173.42 (ClassC)

HTTP/1.1 200 OKContent-Type: text/htmlContent-Length: 5534Connection: keep-aliveLast-Modified: Fri, 29 Dec 2023 12:49:31 GMTx-amz-server-side-encryption: AES256Accept-Ranges: bytesServer: AmazonS3Date

!DOCTYPE html>html>head>link relstylesheet hrefstyle/cprover2.css>title>Daniel Kröning/title>style typetext/css>.oxbg {  background: url(/images/magdalen-leaves.jpeg) 50% 0 no-repeat;  background-position: center;  background-color:#3c7bb2;  color: white;  padding-top: 40px;  padding-left: 10px;  padding-right: 0px;  padding-bottom: 5px;  max-width: 790px;  min-height: 90px;}a.oxbga:link { color: white; }a.oxbga:visited { color: white; }@media print { .oxbg {    -webkit-print-color-adjust: exact;  }}/style>meta nameviewport contentinitial-scale1>/head>body>!--div idheader>Header/div>-->div idcontainer>div idcontent>h1>Daniel Kröning/h1>div classoxbg>Emeritus Fellow,br>a classoxbga hrefhttps://www.magd.ox.ac.uk/>Magdalen College/a>,br>a classoxbga target_top hrefhttps://www.ox.ac.uk/>University of Oxford/a>.br>/div>h2>News/h2>!--p classjustified>font shapeArial color#ff3030>b>NEW:/b>/font>a hrefhttps://www.amazon.jobs/en-gb/jobs/2002612/applied-scientist-cloud-management?no_int_redir1>I am hiring/a>,new group in AWS!/a>/p>-->!--p classjustified>font shapeArial color#ff3030>b>NEW:/b>/font>We are a hrefhttps://www.cs.ox.ac.uk/news/1417-full.html>hiring       PhD students/a>! /p>-->!--p classjustified>a hrefhttps://www.amazon.jobs/en/jobs/1590769/sr-applied-scientist-automated-reasoning>Amazon AWS ishiring in automated reasoning!/a>/p>-->p>!--font shapeArial color#ff3030>b>NEW:/b>/font>-->MIT Press is now shipping the 2nd edition of thea hrefhttps://www.amazon.com/Model-Checking-Cyber-Physical-Systems/dp/0262038838/>Model Checking book/a>!/p>!--center>a hrefhttps://www.floc2018.org>img border0 srcimages/FLoCCS_2018_POS_CMYK-v2SMALL.png>/a>/center>-->h2>Research/h2>p>I am interested in automated reasoning techniquesfor automating the development of software.I am particularly interested in generative AI for code,and applying these methods to AI-enabled components,and DNNs specifically./p>h2>Books/h2>table>tr>td classbook-td>a hrefhttps://www.decision-procedures.org/>img bord

Port 443

View on OTX | View on ThreatMiner

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

Domain > www.kroening.com

Is this malicious?

DNS Resolutions

Port 80

Port 443