Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005

Assistant Professor


Computational Systems Group

Department of Computer Sciences

University of Salzburg

Austria


anas@cs.uni-salzburg.at

Address

Jakob-Haringer-Str. 2

5020 Salzburg, Austria


Room 2.17


Phone

+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)


Skype ana_sokolova

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.


I am also a visiting lecturer at FCSE, Ss. Cyril and Methodius University, Skopje, Macedonia.

Funding

  1. •Personal grant of the Austrian Science Fund FWF Compositionality in Coalgebraic Process Theory (LEGO-CPT), V125-N18. March 1, 2009 to February 28, 2013.

  2. •I am involved in the National Research Network RiSE granted by the Austrian Science Fund FWF. March 2011 to March 2015.

  3. •I took part in the EU Network of Excellence on Embedded Systems Design ArtistDesign.

Community

  1. •PC member of MFPS XXIX, ICE'13 (PC co-chair and ICEcreamer), CMCS'12, ICE'12 (ICEcreamer), CORCS'12, ICE'11, CORCS'11, ICE'10, ICE'09, CORCS'09, DATICS'09, DTVCS'09, CORCS'08, DATICS'08, DTVCS'08, co-organizer of Coalgebra Day 2006, helped in the local organization of EuroSys 2011

Co-supervised PhD students

  1. •Silviu Craciunas, defended on October 14, 2010

  2. •Hannes Payer, defended on September 28, 2012

Past

  1. •Elise Richter fellow, postdoc and project leader, Computational Systems Group, Department of Computer Sciences, University of Salzburg, March 1, 2009 to February 28, 2013.

  2. •Postdoc with Christoph Kirsch, Computational Systems Group, Department of Computer Sciences, University of Salzburg, March 1, 2007 to February 28, 2009.

  3. •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 group (now Digital Security group), Department of Computer Science (now Institute for Computing and Information Sciences), at Radboud University Nijmegen, the Netherlands.

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

  5. •Originally, I come from Macedonia . I studied and worked there as a teaching and research assistant at the Institute of Informatics (now part of FCSE), Faculty of Natural Sciences and Mathematics in Skopje.

Home

Papers

Talks

Teaching

Personal

Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!