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

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

Summer 2012/2013

  1. Model Checking  

  2. Instructions for Diskrete Mathematik (2PS), course given by Martin Held


Past courses

Summer 2011/2012 at the Faculty of Informatics, TU Vienna

  1. Coalgebra for Computer Scientists  


Winter 2011/2012

  1. Formale Systeme 511.001/511.002 (Logic and Sets, a first course) 


Summer 2010/2011

  1. Introduction to Concurrency and Verification  


Winter 2010/2011

  1. Theory of Computation  


Summer 2009/2010

  1. Model Checking  

  2. Verification Seminar, together with Christoph Kirsch

  3. TA for Software Systems Seminar, course given by Christoph Kirsch


Winter 2009/2010

  1. Embedded Software Engineering, course lead by Christoph Kirsch  


Summer 2008/2009

  1. Model Checking  NEW in Salzburg!

  2. TA for Software Systems Seminar, course given by Christoph Kirsch


Summer 2007/2008

  1. Theory of Computation  

  2. TA for Software Systems Seminar, course given by Christoph Kirsch


Winter 2007/2008

  1. Introduction to Concurrency and Verification   NEW in Salzburg!

  2. TA for Compositionality Seminar, course given by Christoph Kirsch


Summer 2006/2007

  1. TA for Software Systems Seminar, course given by Christoph Kirsch

  2. TA for Compiler Construction, course given by Christoph Kirsch


I used to teach a bit in Eindhoven. I also used to teach a lot in Skopje.

Winter 2013/2014

  1. Formale Systeme 511.001, Logic and Sets, a first course

  2. Instructions for Formale Systeme 511.002, one group