Anna Ingólfsdóttir

• Models, Algorithms, Logics and Tools
• Reactive Systems
• Foundations of Software Science and Computational Structures