Work place: Venus (Third floor)
Email : luca AT ru.is AND luca.aceto AT gmail.com
Skype : luca_aceto
PHONE : +354 599 6200 (Switchboard) To be used only for very urgent matters
PHONE : +354 599 6419 (Direct) To be used only for very urgent matters
FAX : +354 599 6301
Semantics of concurrency, with emphasis on the study of algebraic
process description languages and on the techniques they support to
specify and reason about reactive systems. Logic in Computer Science.
Applications of equational logic in Computer Science, with special
focus on process algebras, formal languages, automata, tropical
semirings, min-max algebras and the theory of fixed points. Structural
Operational Semantics. Computational complexity of verification
problems and of problems in bioinformatics.
At Aalborg University, I have supervised the following
MSc. students: Michael L. Olesen (thesis on "Testing Timed Automata"),
Jan Pedersen (thesis on "Testing Timed Automata"), Mikkel Lykke
Pedersen (thesis on "Characteristic Formulae for Timed Automata"), Jan
Poulsen (thesis on "Characteristic Formulae for Timed Automata"),
Joana Isabel Louro Migueus (jointly supervised with Ana Martins and
Yasser Omar in Lisbon; thesis on "Quantum Data Compression"), and
Joana Martinho (jointly supervised with Antonio Ravara in Lisbon;
thesis on "The pi-Calculus with Polyadic Synchronization").
Together with Flavio Corradini, I have also supervised Enrico Cianci's
MSc. thesis at the University of L'Aquila (Italy). I have also
supervised Alessia Codiglione's MSc. thesis at the University of
Catania (Italy) (joint supervision with Franco Barbanera). Together
with the late Nadia Busi, I have acted as supervisor for the MSc. theses of
Andrea Degli Esposti and Michele Geri (University of Bologna, Italy).
At Reykjavik University, I
Arinbjarnar's M.Sc. thesis "Rational Dialog in Interactive Games"
(completion date: June 2007),
and Arnar Birgisson's
M.Sc. thesis "Topics in Operational Semantics" (completion date: June
2009). I am currently supervising Vignir Örn Guðmundsson.