Ana Sokolova
Dr. Eindhoven University of Technology, The Netherlands, 2005

Postdoc and project leader
Elise Richter fellow

with Christoph Kirsch
Computational Systems Group
Department of Computer Sciences
University of Salzburg
Austria

anas"at"cs.uni-salzburg.at


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.

General

Research

Community

Teaching

Summer 2009/2010 Winter 2009/2010 Summer 2008/2009 Summer 2007/2008 Winter 2007/2008 Summer 2006/2007 I used to teach a bit in Eindhoven. I also used to teach a lot in Skopje.

Past

Before joining the Computational Systems group in Salzburg, from October 2005 till March 2007, I enjoyed working as a postdoc with Bart Jacobs, in the great Security of Systems (SoS) group, Department of Computer Science, at the Radboud University Nijmegen, the Netherlands.

Before Nijmegen, I spent some wonderful years (2001 - 2005) working as a PhD student in Jos Baeten's Formal Methods (FM) group, Department of Computer Science, at the TU Eindhoven. My daily supervisor was Erik de Vink. I defended my thesis in Eindhoven on 3rd of November 2005. Follow the next link for information and photos of my defense.

Originally, I come from Macedonia . I studied and worked there as a teaching and research assistant at the Institute of Informatics , Faculty of Natural Sciences and Mathematics in Skopje.

Personal