Registered user since Tue 6 Jun 2017
I work in the area of formal methods for analysis of concurrent systems, more specifically on behavior semantics of systems. I am interested in coalgebra, an abstract unifying framework for studying various transition systems based on category theory, and more concretely in probabilistic and real-time systems. My recent interests stretch all the way to concurrent data structures.
|FOSSACS 2019||Committee Member in Program Committee within the FOSSACS 2019-track|
|Show activities from other conferences|
View general profile