Luca Aceto#
Membership Number: | 3809 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2014 |
Main Country of Residence: | ICELAND |
Homepage(s): | http://www.ru.is/~luca |
Present and Previous Positions
- 2012, 07-to date, President, European Association for Theoretical Computer Science
- 2007, 01-2007, 06, Head of the Department of Computer Science, Reykjavik University
- 2004, 11-to date, Full Professor, Reykjavik University
- 1996, 08-2006, 12, Associate Professor, Aalborg University
- 1995, 02-1995, 06, Research Professor, Aalborg University
- 1994, 09-1996, 09, Senior Research Fellow, BRICS Aalborg University
- 1993, 08-1993, 12, Invited Researcher, Aalborg University
- 1992, 10-1996, 09, Lecturer, University of Sussex
- 1991, 07-1992, 09, Research Fellow, Hewlett-Packard Pisa Science Center
- 1991, 01-1991, 06, Professeur Invité, INRIA Sophia Antipolis
Fields of Scholarship
- Concurrency theory
- Process algebra
- Structural operational semantics and its meta-theory
- Semantics
- Logic in computer science
- Applications of equational logic in computer science
- Modal and temporal logics
- Computational complexity of verification problems
Honours and Awards
- 2013 Invited member of the Board of the journal Logical Methods in Computer Science
- 2013 Member of the Board of the European Association for Computer Science Logic
- 2012 Elected President of the European Association for Theoretical Computer Science
- 2012 Reykjavik University Research Award
- 2012 Inducted to the Icelandic Academy of Sciences (Member)
- 2012 Member of the Organizing Committee for the ACM/IEEE Symposium on Logic in Computer Science
- 2010 Recipient of an Abel Extraordinary Chair, Universidad Complutense de Madrid
- 2005 First chair and founder of the IFIP WG 1.8 on Concurrency Theory
- 2005 Elected member of the Council of the European Association for Theoretical Computer Science
- 1999 Teacher of the Year Award, Department of Mathematics and Computer Science, Aalborg University
- 1997 Teacher of the Year Award, Department of Mathematics and Computer Science, Aalborg University
- 1991 Recipient of the Distinguished Dissertation Award of the British Association of Professors in Computer Science