robd.io

Webside score robd.io

Rob Dickerson

 Genereret Januar 03 2026 02:54 AM

Gammel data? OPDATER !

Scoren er 63/100

SEO Indhold

Titel

Rob Dickerson

Længde : 13

Perfekt, din titel indeholder mellem 10 og 70 bogstaver.

Beskrivelse

Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben Delaware.

Længde : 151

Perfekt, din meta beskrivelse indeholder mellem 70 og 160 karakterer.

Nøgleord

Dårligt! Vi kan ikke finde nogle meta nøgleord på din side! Brug denne gratis online meta generator for at oprette nye nøgleord.

Og Meta Egenskaber

Godt, din side benytter Og egenskaberne

Egenskab Indhold
title Rob Dickerson
locale en_US
description Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben Delaware.
url https://robd.io/
site_name Rob Dickerson
type website

Overskrifter

H1 H2 H3 H4 H5 H6
0 0 6 0 0 0
  • [H3] KestRel at OOPSLA 2025
  • [H3] Coming to Augustana in Fall 2025!
  • [H3] KestRel at the 2023 E-Graphs Workshop
  • [H3] RHLE: Modular Deductive Verification of Relational ∀∃ Properties
  • [H3] Data-Driven Abductive Inference of Library Specifications
  • [H3] PurPL Seminar: Relational Reasoning with Specifications

Billeder

Vi fandt 1 billeder på denne side.

1 alt tags mangler eller er tomme. Tilføj alternativ tekst til dine billeder for at gøre siden mere brugervenlig, og for at optimere din SEO i forhold til søgemaskinerne.

Text/HTML balance

Balance : 34%

Optimalt! Denne sides text til HTML fordeling er mellem 25 og 70 procent.

Flash

Perfekt, ingen Flash objekter er blevet fundet på siden.

iFrame

Perfekt, der er ikke nogen iFrames på din side!

URL Omskrivning

Godt. Dine links ser venlige ud!

Underscores i links

Perfekt! Ingen underscores blev fundet i dine links

On-page links

Vi fandt et total af 17 links inkluderende 3 link(s) til filer

Anker Type Juice
Augustana Ekstern Sender Juice
CV Intern Sender Juice
Research Intern Sender Juice
Teaching Intern Sender Juice
Github Ekstern Sender Juice
Scholar Ekstern Sender Juice
LinkedIn Ekstern Sender Juice
OOPSLA 2025 Ekstern Sender Juice
Augustana College Ekstern Sender Juice
Ben Delaware Ekstern Sender Juice
APLAS 2022 Ekstern Sender Juice
Zhe Zhou Ekstern Sender Juice
Suresh Jagannathan Ekstern Sender Juice
OOPSLA 2021 Ekstern Sender Juice
distinguished artifact award Ekstern Sender Juice
the PurPL website Ekstern Sender Juice
RSS Intern Sender Juice

SEO Nøgleord

Nøgleords cloud

specifications rob e-graph relational purpl augustana verification oopsla work kestrel

Nøgleords balance

Nøgleord Indhold Titel Nøgleord Beskrivelse Overskrifter
kestrel 5
relational 5
work 4
oopsla 3
verification 3

Brugervenlighed

Link

Domæne : robd.io

Længde : 7

FavIkon

Godt, din side har et FavIcon!

Printervenlighed

Vi kunne ikke finde en printer venlig CSS skabelon.

Sprog

Godt, dit tildelte sprog er en.

Dublin Core

Denne side benytter IKKE Dublin Core principperne.

Dokument

Dokumenttype

HTML 5

Kryptering

Perfekt. Dit Charset er tildelt UTF-8.

W3C Validering

Fejl : 0

Advarsler : 0

Email Privatliv

Advarsel! Mindst én email adresse er blevet fundet i rå tekst. Brug gratis antispam beskytter for at hemme din email fra spammere.

Udgået HTML

Udgåede tags Forekomster
<center> 1

Fejl! Vi har fundet udgåede HTML tags i din kildekode. Udgåede tags bliver ikke længere understøttet af alle browsere.

Hastigheds Tips

Alle tiders! Din webside bruger ikke nestede tabeller.
Perfekt. Ingen inline CSS kode er blevet fundet i dine HTML tags!
Godt, din website har få antal CSS filer
Perfekt, din website har få JavaScript filer.
Perfekt, din hjemmeside udnytter gzip.

Mobil

Mobil Optimering

Apple Ikon
Meta Viewport Tag
Flash indhold

Optimering

XML Sitemap

Mangler

Dit websted ikke har en XML sitemap - det kan være problematisk.

Et sitemap lister URL'er, der er tilgængelige for gennemgang og kan indeholde yderligere oplysninger som dit websted seneste opdateringer, hyppigheden af ændringer, og betydningen af de webadresser. Dette gør det muligt søgemaskiner til at gennemgå webstedet mere intelligent.

Robots.txt

https://robd.io/robots.txt

Stor, din hjemmeside har en robots.txt-fil.

Analytics

Mangler

Vi har ikke registrerer en analyseværktøj installeret på denne hjemmeside.

Web analytics kan du måle besøgendes aktivitet på dit websted. Du bør have mindst én analyseværktøj installeret, men det kan også være godt at installere et sekund for at krydstjekke data.

PageSpeed Insights


Apparat
Kategorier

Free SEO Testing Tool

Free SEO Testing Tool er et gratis SEO redskab der hjælper med din hjemmeside