Angelo Montanari
http://users.dimi.uniud.it/~angelo.montanari/Welcome.html
Dipartimento di Matematica e Informatica, Universita' di Udine, Italy
Software engineering (logical specification), Artificial intelligence (temporal reasoning), Logic (modal and temporal logics), Databases (temporal databases)