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
Iceland


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

Hot links

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

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


Employment

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.


Research

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 .