Sivuston tiedot robd.io
Rob Dickerson
Luotu Tammikuu 03 2026 02:54 AM
Vanhentuneet tiedot? PÄIVITÄ !
Pisteet 63/100
SEO Sisältö
Otsikko
Rob Dickerson
Pituus : 13
Täydellistä, otsikkosi sisältää väliltä 10 ja 70 kirjainta.
Kuvaus
Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben Delaware.
Pituus : 151
Hienoa, sinun meta-kuvauksesi sisältää väliltä70 ja 160 kirjainta.
Avainsanat
Erittäin huono. Emme löytäneen meta -sanoja sivultasi. Käytä Tätä ilmaista meta-kuvaus generaattoria lisätäksesi kuvauksen.
Open Graph (OG-tägit) tarjoavat mahdollisuuden merkitä verkkosivustojen sisältöä meta-tiedoilla.
Hienoa, sinun sivu käyttää hyödyksi Open Graph protokollaa (OG meta prop).
| Omaisuus | Sisältö |
|---|---|
| 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 |
Otsikot
| 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
Kuvat
Emme löytäneet 1 yhtään kuvia tältä sivustolta.
1 Alt-attribuutit on tyhjiä tai poistettu. Lisää vaihtoehtoista tekstiä niin, että hakukoneet ymmärtävät paremmin kuvatesi sisällön.
Kirjain/HTML suhde
Suhde : 34%
Hipoo täydellisyyttä! Tämä sivu /sivut sisältää tekstiä suhteesssa HTML-koodiin on suurempi kuin 15, mutta kuitenkin alle 25 prosenttia.
Flash
Täydellistä!, Flash-sisältöä ei ole havaittu tällä sivulla.
html-dokumentti sivun sisälle (Iframe)
Hienoa, Tällä sivulla ei ole Iframeja.
SEO Linkit
URL- Uudelleenkirjoitus
Hyvä. Sinun linkkisi näyttävät puhtailta!
Alleviivaa URL-osoitteet
Täydellistä! URL-osoitteissasi ei ole merkintöjä.
Sivun linkit
Löysimme yhteensä 17 linkit jotka sisältää 3 linkit tiedostoihin
| Ankkuri | Tyyppi | Mehu |
|---|---|---|
| Augustana | Ulkoinen | Antaa mehua |
| CV | Sisäinen | Antaa mehua |
| Research | Sisäinen | Antaa mehua |
| Teaching | Sisäinen | Antaa mehua |
| Github | Ulkoinen | Antaa mehua |
| Scholar | Ulkoinen | Antaa mehua |
| Ulkoinen | Antaa mehua | |
| OOPSLA 2025 | Ulkoinen | Antaa mehua |
| Augustana College | Ulkoinen | Antaa mehua |
| Ben Delaware | Ulkoinen | Antaa mehua |
| APLAS 2022 | Ulkoinen | Antaa mehua |
| Zhe Zhou | Ulkoinen | Antaa mehua |
| Suresh Jagannathan | Ulkoinen | Antaa mehua |
| OOPSLA 2021 | Ulkoinen | Antaa mehua |
| distinguished artifact award | Ulkoinen | Antaa mehua |
| the PurPL website | Ulkoinen | Antaa mehua |
| RSS | Sisäinen | Antaa mehua |
SEO avainsanat
Avainsana pilvi
purpl augustana oopsla relational work rob specifications verification e-graph kestrel
Avainsanojen johdonmukaisuus
| Avainsana | Sisältö | Otsikko | Avainsanat | Kuvaus | Otsikot |
|---|---|---|---|---|---|
| kestrel | 5 |  |
|
|
 |
| relational | 5 | |
|
|
|
| work | 4 | |
|
|
|
| oopsla | 3 | |
|
|
|
| verification | 3 | |
|
|
|
Käytettävyys
Url
Sivusto : robd.io
Pituus : 7
Pikkukuva (favicon)
Hienoa, sinun sivulla on favicon (pikakuvake).
Tulostettavuus
Emme löytäneet tulostusystävällistä CSS-palvelua.
Kieli
Hyvä. Ilmoitettu kieli on en.
Metatietosanastostandardi informaatio (DC)
Tämä sivu ei käytä hyödyksi (DublinCore =DC) metatietosanastostandardi informaatiokuvausta.
Dokumentti
(dokumenttityyppi); Merkistökoodaus
HTML 5
Koodaus/tietojenkäsittely
Täydellistä. Ilmoitettu asiakirjan merkkijono on UTF-8.
W3C Voimassaolo
Virheet : 0
Varoitukset : 0
Sähköpostin yksityisyys
Varoitus! Ainakin yksi sähköpostiosoite on löytynyt tavallisesta tekstistä. Käytä tätä ilmaista antispam suojausta piilottaaksesi sähköpostiosoitteet spämmereiltä.
HTML Epäonnistui
| Tägit Epäonnistui | Esiintymät |
|---|---|
| <center> | 1 |
Epäillyt HTML-koodit ovat HTML-tageja, joita ei enää käytetä. On suositeltavaa poistaa tai korvata nämä HTML-tunnisteet, koska ne ovat vanhentuneet.
Nopeus neuvot
|
Erinomaista, verkkosivustosi ei käytä sisäkkäisiä taulukoita. |
|
Perfect. HTML-tunnisteita ei löytynyt css:n sisältä! |
|
Hienoa, Sivustossasi on muutamia CSS-tiedostoja. |
|
Perfect, sivustossasi on muutamia JavaScript-tiedostoja. |
|
Täydellistä, Sivustosi hyödyntää gzipia. |
Mobiili
Mobiili optimointi
|
Apple-kuvake |
|
Meta Viewport -tunniste |
|
Flash sisältö |
Optimoi
XML Sivukartta
Puuttuu
Sivustollasi ei ole XML-sivukarttaa - tämä voi olla ongelmallinen.
Sivukartta sisältää URL-osoitteita, jotka ovat käytettävissä indeksointiin ja voivat sisältää lisätietoja, kuten sivustosi uusimmat päivitykset, muutosten tiheydet ja URL-osoitteita. Tämä sallii hakukoneiden indeksoida sivuston älykkäästi.
Robots.txt
https://robd.io/robots.txt
Hienoa, sivustossasi on robots.txt-tiedosto.
Analyysit
Puuttuu
Emme tunnistaneet tällä sivustolla asennettua analytiikkatyökalua.
Web-analyysilla voit mitata kävijän toimintaa verkkosivustollasi. Sinulla on oltava vähintään yksi analytiikkatyökalu, mutta voi myös olla hyvä asentaa toinen tietojen tarkistamiseen soveltuva työkalu.
Sivuston nopeus
Laite
Luokat
Free SEO Testing Tool
Free SEO Testing Tool On ilmainen SEO työkalu, joka auttaa sinua analysoimaan Web-sivusi