id
name
related bits
0
processing priority
4
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2024-02-15 04:09:09
expired found date
-
created at
2024-06-08 05:37:01
updated at
2024-08-11 19:27:14
length
10
crc
31110
tld
2211
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
-
previous id
0
replaced with id
0
related id
-
dns primary id
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
15611
mp size raw text
7792
mp inner links count
0
mp inner links status
1 (no links)
title
description
Karl Palmskog is a computer science teacher and researcher primarily working on topics related to program verification and proof engineering.
image
site name
author
Karl Palmskog
updated
2025-12-20 08:15:25
raw text
Karl Palmskog Karl Palmskog α About Me I am a teacher and researcher at KTH Royal Institute of Technology in the Theoretical Computer Science division and the STEP research group . I do research primarily on topics related to program verification and proof engineering . I was previously a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign . I obtained my Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam . Earlier, in 2007, I received my M.Sc. from KTH in Computer Science and Engineering. See also my CV and my profiles on GitHub , Google Scholar , DBLP , ORCID , and LinkedIn . β Research Interests I am interested in development of techniques and tools based on proof assistants for construction of functionally correct and secure software systems. I also take a broad interest in programming languages, software engineering, and formal verification. I am...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
2025110801
spam phrases
0
text nonlatin
6
text cyrillic
0
text characters
5865
text words
1024
text unique words
465
text lines
202
text sentences
46
text paragraphs
6
text words per sentence
22
text matched phrases
3
text matched dictionaries
5
links self subdomains
0
links other subdomains
7 - coq.inria.fr, drops.dagstuhl.de, dl.acm.org, hal.archives-ouvertes.fr, popl19.sigplan.org, popl17.sigplan.org, trustfull.proj.kth.se
links other domains
17 - bootswatch.com, kth.se, proofengineering.org, dblp.org, orcid.org, ocaml.org, hol-theorem-prover.org, sml-family.org, doi.org, distributedcomponents.net, strategiska.se
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
15
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
16 - linkedin.com
links ext klim
0
links ext generic
1
dol status
0
dol updated
2025-12-20 08:15:25
rss path
rss status
1 (priority 1 already searched, no matches found)
rss found date
-
rss size orig
0
rss items
0
rss spam phrases
0
rss detected language
0 (awaiting analysis)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
1
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
-
sitemap first import date
-
sitemap last import date
-