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
- papers and
talks
- My work is supported by a personal grant of the Austrian Science Fund FWF
Compositionality in Coalgebraic Process Theory (LEGO-CPT),
V125-N18. The work on the project
started in March 2009 and has recently (in March 2011) been extended :-) until March 2013.
- I am involved in the National Research Network RiSE granted by the Austrian Science Fund FWF
starting
in March 2011.
- I also take part in the EU Network of Excellence on Embedded Systems Design ArtistDesign.
Community
- 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
Co-supervised PhD students
Teaching
Summer 2011/2012 at the Faculty of Informatics, TU Vienna
Winter 2011/2012
Summer 2010/2011
Winter 2010/2011
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
- When I am not at work I live (not so far away anymore) in Vienna with my husband Harald.
- My twin sister Maja also has a webpage.
- Take a look at Harald's climbing web page for some climbing photos.