ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Ana Sokolova

Registered user since Tue 6 Jun 2017

Name: Ana Sokolova

Bio: 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.

Country: Austria

Affiliation: University of Salzburg

Personal website: http://cs.uni-salzburg.at/~anas

Contributions

FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile