IFIP WG1.3 Foundations of System Specification
Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Ana Sokolova
Department of Computer SciencesUniversity of Salzburg
Austria
Research topics: Formal Methods, Algebra and Coalgebra in Computer Science, Probabilistic Systems, Convexity, Concurrency Theory and Practice (updated at 2021-03-30)
http://cs.uni-salzburg.at/~anas/