Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Marjan Sirjani

Not registered as user yet

Name: Marjan Sirjani

Bio: Marjan Sirjani is a Professor at School of Computer Science at Reykjavik University. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent and distributed systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca. Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. She has also worked on coordination languages and is the co-author of the paper proposing Constraint Automata as the compositional formal semantics for the coordination language Reo.

Country: Iceland

Affiliation: Reykjavik University

Personal website: http://www.ru.is/faculty/marjan/

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile