about me
hello, my name is...  Alberto Lluch Lafuentename   1 last name       st                         2 last name               ...
phd@freiburgcs@spain           now@here
lucca               empolipisa
research
probably correctprovably buggy...
╥φ
models╥   verification algorithmsφ   property spec langs
generic programming languagesprotocol specification languagesprocess algebrasautomatagraph transformation systemsmodels...
a                    a b       c   vs      b        ccomp a {          comp a {   comp b;           sons : b,c;   comp c; ...
╥                   φ                       Select *imt phd students         from students,schools                        ...
my system does always …my sytem does … before …some component of my system is s.t....all components of my system are s.t.....
╥φ
teaching
“Fundamentals of Algorithmics”(warm-up for “Web Algorithmics” by Ferragina & Luccio)   Lesson 1                    [March ...
IMT Welcome Day 2011
IMT Welcome Day 2011
Upcoming SlideShare
Loading in …5
×

IMT Welcome Day 2011

968 views

Published on

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

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
968
On SlideShare
0
From Embeds
0
Number of Embeds
482
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

IMT Welcome Day 2011

  1. 1. about me
  2. 2. hello, my name is... Alberto Lluch Lafuentename 1 last name st 2 last name nd it ~ gliuc (thefountain) en ~ luke
  3. 3. phd@freiburgcs@spain now@here
  4. 4. lucca empolipisa
  5. 5. research
  6. 6. probably correctprovably buggy...
  7. 7. ╥φ
  8. 8. models╥ verification algorithmsφ property spec langs
  9. 9. generic programming languagesprotocol specification languagesprocess algebrasautomatagraph transformation systemsmodels...
  10. 10. a a b c vs b ccomp a { comp a { comp b; sons : b,c; comp c; }} comp b { father : a; } comp c { father : a; }
  11. 11. ╥ φ Select *imt phd students from students,schools where students.school = schools.id and ...
  12. 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...
  13. 13. ╥φ
  14. 14. teaching
  15. 15. “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.

×