Ana Sokolova, Homepage

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Ana Sokolova, Homepage

Ana Sokolova

a.sokolova"at"cs.ru.nl

Post-doc with Bart Jacobs
Security of Systems (SoS) group
Department of Computer Science
Radboud University Nijmegen
The Netherlands

I work in the area of formal methods, more precisely on topics related to coalgebras, probabilistic systems, behaviour relations, and theoretical security.

General

contact info
my name in (Macedonian) cyrillic: Ана Соколова, also in Japanese: , thanks to Ichiro Hasuo.

Research

papers and talks
not so NEW any more: Coalgebra Day 2006
reading group Categorical Logic and Type Theory

Travel-work schedule

My position in Nijmegen is part-time due to personal reasons. I spend two weeks per month in the office in Nijmegen. The rest of the time I am available on-line.

up-to-date travel schedule.

Teaching

Unfortunately no teaching for me in Nijmegen, due to the part-time arrangement.
I used to teach a bit in Eindhoven.
I also used to teach a lot in Skopje.

Past

Before joining SoS in Nijmegen, from 2001 till 2005 I worked 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&research; assistant at the Institute of Informatics , Faculty of Natural Sciences and Mathematics in Skopje.

Personal

When I am not at work in Nijmegen, I live far away in Vienna, Austria, with my husband Harald.
Take a look at Harald's climbing web page (in german, but there are photos).