Hi, 
 
I am a researcher at University of Pitesti in Romania. I also supervise a research project in industry at Softwin (part-time). 

My scientific area is formal methods in software engineering. I currently investigate model-based testing using metaheuristic search techniques, with a special application domain in service-oriented architectures. This work was initiated during my post-doctoral time at SAP Research, Germany. 

More details about me are available in the sections: biopublications, family, photos, contact.

In 2012, I am in the PC of the following events, which I warmly advertise:  ECMFA'12, VALID'12, ICIT'12 (MBT track).
In 2011, I was in the PC of the following events: ECMFA'11, CIT'11, CEE-SET'11VALID'11, ICMLEM'11MOTIP'11EVACCS'11, VAST'11, STIX'11.

With kind regards,
Alin
 
     View Alin Stefanescu's LinkedIn Profile

This website was last updated in January 2012

Page Ranking Tool

Sign in  |  Recent Site Activity  |  Terms  |  Report Abuse  |  Print page  |  Powered by Google Sites