about me

name

Alberto

1st last nameit ~ gliucen ~ luke

2nd last name(thefountain)

Lluch Lafuentehello, my name is...

phd@freiburg

now@here

cs@spain

lucca

pisa

empoli

research

probably correctprovably buggy...

φ

╥

φ

╥

models

verification algorithms

property spec langs

generic programming languagesprotocol specification languagesprocess algebrasautomatagraph transformation systemsmodels...

vscomp a {

comp b;comp c;

}

comp a {sons : b,c;

}comp b {

father : a;}comp c {

father : a;}

b ca

b c

a

φ

╥

imt phd studentsSelect * from students,schools where students.school = schools.id and ...

my system does always …my sytem does … before …

some component of my system is s.t....all components of my system are s.t....

some component always does … before...

φ

╥

teaching

“Fundamentals of Algorithmics”

Lesson 1Lesson 3Lesson 4Lesson 5Lesson 6

[March 8][March 16] [March 23] [March 30] [March 6]

Topics: sorting, hashing, searching.

(warm-up for “Web Algorithmics” by Ferragina & Luccio)