Luca Aceto - Biography#

Luca Aceto has been professor of computer science at Reykjavik University since November 2004. He has been the president of the European Association for Theoretical Computer Science since July 2012, and he serves on the board of the Symposium on Logic in Computer Science, the European Association for Computer Science Logic and the journal Logical Methods in Computer Science. He was the founder of the IFIP Working Group 1.8 on Concurrency Theory, which he chaired from 2005 till 2010. Amongst his honours, Luca Aceto received the Reykjavik University Research Award in 2012 and a Distinguished Dissertation Award of the British Association of Professors in Computer Science in 1990. He was inducted to the Icelandic Academy of Sciences in 2012.

Luca Aceto has served in or (co-)chaired over 60 program committees for international conferences or workshops. In particular, he was the PC co-chair of FOSSACS 2006 and PC chair for the Track B of ICALP 2011, and will co-chair the PC for CONCUR 2015.

Luca Aceto's main research interests are in concurrency theory, logic in Computer Science, applications of equational logic in Computer Science, Structural Operational Semantics and its meta-theory, and the computational complexity of verification problems. As of January 29, 2014, he has published two books, five book chapters, 50 journal papers and 57 conference and workshop papers. He has edited 27 volumes and serves on the editorial board of two journals and of the Electronic Proceedings in Theoretical Computer Science.