Go home now Header Background Image
Submission Procedure
share: |
Follow us

Monika Kapus-Kolar

Referee for: D.2.1, D.2.5, D.3.1, F.3.1
Institution: Jožef Stefan Institute
Address: Department of Communication Systems
Jožef Stefan Institute
Jamova 39
1111 Ljubljana

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