Deild:  


Luca Aceto, Professor

School:School of Technology / Department of Computer Science 
Location:Nautholsvik, Venus, third floor 
Office hours:Tuesdays, 13:00-14:00, during term time 
Phone:5996419 
Email:lucaru.is 
luca.acetogmail.com 
Website:https://www.ru.is/haskolinn/starfsfolk/luca
www.ru.is/faculty/luca/
www.icetcs.ru.is/

Curriculum Vitae

http://www.ru.is/kennarar/luca/resume.pdf

Education

1991, University of Sussex, UK, DPhil in Computer Science
1986, University of Pisa, Italy, MSc. in Computer Science

Career

See http://www.cs.aau.dk/~luca/resume.pdf.

RU teaching record

2023-1T-219-REMOReal-time Models
2022-3T-999-PHDTPhD Thesis in Computer Science
2022-1T-999-PHDTPhD Thesis in Computer Science
2022-1T-219-REMOReal-time Models
2021-1T-705-EACSEthics and Accountability in Computer Science
2021-1T-707-MOVEModeling and Verification
2021-1T-219-REMOReal-time Models
2020-1T-701-REM4Research Methodology
2020-1T-219-REMOReal-time Models
2019-1T-219-REMOReal-time Models
2018-1T-219-REMOReal-time Models
2017-1T-707-MOVEModeling and Verification
2017-1T-899-MSTHMS Thesis
2017-1T-219-REMOReal-time Models
2016-3T-519-STORTheory of Computation
2016-3T-719-STO4Theory of Computation
2016-1T-219-REMOReal-time Models
2016-1T-419-STR2Discrete Mathematics II
2015-1T-219-REMOReal-time Models
2015-1T-419-STR2Discrete Mathematics II
2014-3T-891-MSTDMSc Thesis Defense
2014-2T-899-MSTHMS Thesis
2014-1T-749-INDSIndependent Study 1
2014-1T-419-STR2Discrete Mathematics II
2013-3T-999-PHDTPhD Thesis in Computer Science
2013-3T-993-PHDDPhD Dissertation Defense
2013-3T-899-MSTHMS Thesis
2013-1T-707-MOVEModeling and Verification
2013-1T-899-MSTHMS Thesis
2013-1T-219-REMOReal-time Models
2012-3T-701-REM4Research Methodology
2012-3T-999-PHDTPhD Thesis in Computer Science
2012-3T-899-MSTHMS Thesis
2012-3T-749-INDSIndependent Study 1
2012-1T-999-PHDTPhD Thesis in Computer Science
2012-1T-707-MOVEModeling and Verification
2012-1T-899-MSTHMS Thesis
2011-3T-999-PHDTPhD Thesis in Computer Science
2011-3T-993-PHDDPhD Dissertation Defense
2011-3T-707-MOVEModeling and Verification
2011-3T-992-PHDPPhD Thesis Proposal
2011-3T-301-REIRAlgorithms
2011-1T-999-PHDTPhD Thesis in Computer Science
2011-1T-707-MOVEModeling and Verification
2011-1T-899-MSTHMS Thesis
2011-1T-603-THYDCompilers
2010-3T-999-PHDTPhD Thesis in Computer Science
2010-1T-999-PHDTPhD Thesis in Computer Science
2010-1T-707-MOVEModeling and Verification
2010-1T-992-PHDPPhD Thesis Proposal
2010-1T-505-ROKFLogic in Computer Science
2010-1T-702-ROKFLogic in Computer Science
2009-3T-999-PHDTPhD Thesis in Computer Science
2009-3E-101-INTRIntrod. to Mathematics
2009-3T-109-INTOIntroduction to Computer Science
2009-3T-504-SETASemantics: Theory and Applications
2009-3T-707-MOVEModeling and Verification
2009-3T-724-SETASemantics: Theory and Applications
2009-3T-110-VERKProblem Solving
2009-1T-891-MSTDMSc Thesis Defense
2009-1T-623-MOVEModeling and Verification
2009-1T-899-MSTHMS Thesis
2009-1T-733-SADUSoftware Architecture Design Using Process Algebras
2008-3T-425-PASAA Process Algebraic Approach to Software Architecture
2008-3T-899-MSTHMS Thesis
2008-2T-301-REIRAlgorithms
2007-3T-724-SETASemantics: Theory and Applications
2007-3T-215-STY1Operating Systems
2007-3RT STS1003Operating Systems and Computer Technology
2006-3T-519-STORTheory of Computation
2006-3T-719-STO4Theory of Computation
2006-1T-707-MOVEModeling and Verification
2006-1T-623-MOVEModeling and Verification
2006-1T-603-THYDCompilers
2005-1T-603-THYDCompilers
2004-3T-530-MAMESyntax and semantics
2002-3T-530-MAMESyntax and semantics

Teaching outside RU

See http://www.cs.aau.dk/~luca/teaching.html

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.

Subject field

Theroretical Computer Science

Services

Research Centres

Editorial Work and Related Scientific Activities



Publications

See http://www.cs.aau.dk/~luca/reports.html for recent papers by Anna Ingólfsdóttir and/or myself.

A full list of publications is available as part of my cv at http://www.cs.aau.dk/~luca/resume.pdf.

Other websites

www.ru.is/faculty/luca
www.icetcs.ru.is