Curriculum Vitae:

Monika Kapus-Kolar received a B.Sc. degree in electrical engineering from the University of Maribor, Slovenia, and M.Sc. and Ph.D. degrees in computer science from the University of Ljubljana, Slovenia. Since 1981 she has been with the Jožef Stefan Institute, Ljubljana, where she is currently a senior researcher at the Department of Communication Systems. Her research interests include formal specification techniques and methods for the development of real-time, concurrent and reactive systems. On the topics, she has regularly lectured at the Faculty of Electrical Engineering and Computer Science in Maribor.

Main Research Interests:

• automated synthesis of protocols for distributed services implementation
• formal semantics of specification languages for distributed real-time systems
• automated synthesis of test suites for FSM and EFSM implementations