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

If you interested in doing a bachelor / master project with me, please just send me an email. We will then discuss the possible topics based on your (and mine) interests. There are many interesting things to do!

Summer 2013/2014

  1. Introduction to Concurrency and Verification

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

Winter 2014/2015

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

  2. Instructions for Formale Systeme 511.002, two groups

  3. Automata, lectures and instructions, MMT Master, FH Salzburg

Summer 2014/2015

  1. Model Checking  

Winter 2015/2016

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

  2. Instructions for Formale Systeme 511.002, one group

  3. Automata, lectures and instructions, MMT Master, FH Salzburg

Winter 2016/2017

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

  2. Instructions for Formale Systeme 511.002, one group

  3. Formal Languages and Complexity Theory 511.022

  4. Instructions for Formal Languages and Complexity Theory 511.023, one group

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005



Associate Professor


Computational Systems Group

Department of Computer Sciences

University of Salzburg

Austria


anas@cs.uni-salzburg.at

Summer 2016/2017

  1. CAV

  2. Instructions for Diskrete Mathematik 511.008, one group, lectures given by Martin Held