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