Main

related bits

0

processing priority

3

site type

0 (generic, awaiting analysis)

review version

11

html import

20 (imported)

Events

first seen date

2025-04-09 09:58:43

expired found date

-

created at

2025-04-09 09:58:43

updated at

2026-01-21 19:05:34

Domain name statistics

length

16

crc

12131

tld

86

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

87719371 (github.io)

previous id

0

replaced with id

0

related id

-

dns primary id

0

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

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

server bits

server ip

-

Mainpage statistics

mp import status

20

mp rejected date

-

mp saved date

-

mp size orig

28729

mp size raw text

11625

mp inner links count

3

mp inner links status

20 (imported)

Open Graph

title

description

Luca Marzari academic website.

image

site name

author

Luca Marzari

updated

2026-01-19 18:28:06

raw text

Luca Marzari Toggle navigation Home (current) Publications Education Luca Marzari 📍University of Verona Verona, Italy 🇮🇹 I am a third-year PhD student in Computer Science at the University of Verona, advised by Prof. Alessandro Farinelli and Prof. Ferdinando Cicalese . Recently, I’ve also been a visiting researcher in the Robotics Institute at Carnegie Mellon University (CMU), under the supervision of Prof. Changliu Liu . My Research Interests focus on developing efficient and reliable methods for verifying and enhancing the explainability of deep neural networks (DNNs). I also developed probabilistic verification algorithms with strong theoretical guarantees to bridge the gap between Formal Verification of DNNs and safe deep reinforcement learning. The results of my research resulted in several publications at top-level international conferences and prestigious collaborations with world-leading universities. You can visit the publications page for more info...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

AI [en] (229)

index version

2025123101

spam phrases

0

Text statistics

text nonlatin

3

text cyrillic

0

text characters

9312

text words

1628

text unique words

597

text lines

193

text sentences

76

text paragraphs

22

text words per sentence

21

text matched phrases

17

text matched dictionaries

4

RSS

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

sitemap status

10 (sitemap found, awaiting processing)

sitemap review version

2

sitemap urls count

0

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2025-04-09 09:58:44

sitemap process date

-

sitemap first import date

-

sitemap last import date

-