Research Professor: Cristian Masalagiu Assistent: Vasile Alaiba Diploma Works Proposals Main Fields Logic Programming Specification and Verification of Real Systems Workflow and Business Processes