Ph.D. Advisor: Prof. Dr. Militon Frentiu

• October 1, 2004, Admitted to Ph.D. studies at the Department of Computer Science of the Babes-Bolyai University, Cluj-Napoca

• Formal methods in programming (Metode formale in programare)

• Scheduled exam date: December 2005
• Effective date of defense: June 15, 2004 (recognized from the master program)

• Software specification methods (Metode de specificare a soft-ului)
  

• Scheduled report date: October 2004
• Effective date of defense: June 15, 2004 (recognized from the master program)

• Modeling component based systems (Modelarea sistemelor bazate pe componente)
  

• Scheduled exam date: June 2005
• Effective date of defense: March 23, 2005

• Construction methods of formal models (Metode de constructie a modelelor formale)
  

• Scheduled report date: December 2005
• Effective date of defense: October 19, 2005

• Formal methods in verification of software processes (Metode formale in verificarea proceselor soft)
  

• Scheduled exam date: March 2006
• Effective date of defense: January 25, 2006

• Evaluation of formal models (Evaluarea modelelor formale)
  

• Scheduled report date: May 2006
• Effective date of defense: May 24, 2006

• October 31, 2008, Public presentation of the PhD thesis at the Babes-Bolyai University in Cluj-Napoca (1 M. Kogalniceanu, Room 5/I, Time 10:15)

•  Distinction: cum laude.
• Download PhD Thesis Abstract
  
• Download PhD Thesis Slides
• PhD Thesis full - please request at avescan@cs.ubbcluj.ro
  

• January 13, 2009, The Romanian Ministry of Education confirmed by its order No. 3030 the decision of the National Attestation Board with respect to the Ph.D. degree awarded by Babes-Bolyai University

• February 3, 2009, The Rector of the Babes-Bolyai University issued the Ph.D. Degree Diploma