Doriana Medic

I am a Ph.D. student at IMT School for Advanced Studies Lucca and I am a member of SysMA research group.

I completed my Bachelor's degree in Applied Mathematics at the Faculty of Science in Novi Sad and my Master's degree in Mathematics in Engineering at the Faculty of Technical Sciences.


My research interest is reversibility in process algebra. I am working now on reversibility in CCS and π-calculus.


D. Medic and C. A. Mezzina. Static VS Dynamic Reversibility in CCS. Springer, pp. 36-51 2016.