Luca Aceto#


Luca Aceto
Email:luca 'at' ru.is
Membership Number:3809
Membership type:ORDINARY
Main Country of Residence:ICELAND
Section:INFORMATICS
Username:laceto
Elected:2014
Homepage: 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

Imprint Privacy policy « This page (revision-7) was last updated on Monday, 11. August 2014, 14:50 by Kaiser Dana
  • operated by