I was born on May 17, 1970, in the beautiful city of Varna, Bulgaria.
I received my M.Eng. (Comp. Sci.) degree in 1990 from the Technical University in Varna, Bulgaria, attending a specialized ``Advanced Education'' course. My Master's thesis dealt with design and implementation of a kernel for transputer networks of arbitrary topology. In 1991-94 I had worked for a private company and had been involved in several software projects in the areas of computer animation, GPS systems and network databases.
I am currently an overseas postgraduate (PhD) student at the Department of Computer Science, University of Adelaide. I started my study in April 1994 having been granted an Overseas Postgraduate Research Scholarship (OPRS) by the Australian Department of Employment, Education and Training (DEET).
My supervisor is Dr Jay Yantchev and my area of research is concurrent and real-time systems. More specifically, I am looking into issues of applying formal methods for specification, automated verification, and timing analysis of such systems.
I am a member of the Concurrent and Real-Time Systems Group in our department.
For more details please visit my research page.
I maintain a list of Computer Science related links on the WWW. I am not a full-time cyberspace surfer so bear with me of you find these links old and well-known. If you have other interesting sites or would like me to include your page, send me an e-mail.
You can also reach me at my e-mail address ata@cs.adelaide.edu.au