Luca Aceto's homepage

The logo of ICE-TCS is courtesy of Emilka Bojanczyk. EATCS

Luca Aceto's Contact Information
School of Computer Science
Reykjavik University
Menntavegur 1
IS-101 Reykjavik

Work place: Venus (Third floor)
Email : luca AT AND luca.aceto AT 

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

Hot links

Member of the Informatics Section of Academia Europaea (the Academy of Europe)

President of the European Association for Theoretical Computer Science (July 2012-July 2016)

The power of logic. This is the video of a six-minute talk for a general public I delivered at the Reykjavik University Lecture Marathon on 28 March 2014.

Pearls of Computation seminar series at Reykjavik University.

Process Algebra Diary (my professional blog).


I am a full professor at the School of Computer Science, Reykjavik University. Information on the positions I have held previously may be found in my curriculum vitae.


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.

Work Related Links

Some Photos

Luca Aceto, School of Computer Science, Reykjavik University.
Last modified: Tue Jan 5 23:23:24 GMT 2010 .