My short talk at IMT Welcome Day 2011 about my research and teaching activities.

1. about me

2. hello, my name is...
Alberto Lluch Lafuente
name
1 last name
st
2 last name
nd
it ~ gliuc (thefountain)
en ~ luke

3. phd@freiburg
cs@spain
now@here

4. lucca
empoli
pisa

5. research

6. probably correct
provably buggy...

7. ╥
φ

8. models
╥ verification algorithms
φ property spec langs

9. generic programming languages
protocol specification languages
process algebras
automata
graph transformation systems
models
...

10. a a
b c vs b c
comp a { comp a {
comp b; sons : b,c;
comp c; }
} comp b {
father : a;
}
comp c {
father : a;
}

11. ╥
φ
Select *
imt phd students from students,schools
where students.school
= schools.id
and ...

12. 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...

15. ╥
φ

16. teaching

17. “Fundamentals of Algorithmics”
(warm-up for “Web Algorithmics” by Ferragina & Luccio)
Lesson 1 [March 8]
Lesson 3 [March 16]
Lesson 4 [March 23]
Lesson 5 [March 30]
Lesson 6 [March 6]
Topics: sorting, hashing, searching.