Olivia Oanea Olivia Oanea
Theory of Programming Languages and Programming
Institute for Informatics
University of Rostock
  Welcome! Contact Library  

About me
I am a researcher at the University of Rostock. I received the Ph.D. degree from the Eindhoven University of Technology, The Netherlands. Until July 2008, I worked in the project Modelling and Verification of Business Processes (MoveBP) under the supervision of Dr. Natalia Sidorova and Prof. Dr. Kees van Hee in the Architecture of Information Systems Group (AIS) of the Department of Mathematics and Computer Science (W&I). Until 2004, I was a student and a part-time teaching assistant at the Departament of Computer Science of "Al. I. Cuza" University, in Iasi, Romania under the supervision of Prof. Dr. F.L. Tiplea.
My research interests include (no particular order): modeling and verification of business processes using (high-level) Petri nets and extensions of Petri nets (e.g. nested nets), net transformation techniques, decidability and complexity issues and recently structural methods for service (adapter) synthesis.
Some memberships and professional activities
point Berlin - Rostock- Eindhoven Service Technology Program (B.E.S.T.)
point Synthesis of Behavioral Adapters
Olivia Oanea