Deild:  


Luca Aceto, Chair, 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:http://www.ru.is/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

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

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