Facultatea de Informatica IasiUniversitatea A.I.Cuza

Home Page Coordonates About Me Useful links What I teach

Research
Professor: Cristian Masalagiu
Assistent: Vasile Alaiba

Diploma Works
Proposals

Main Fields
Logic Programming
Specification and Verification of Real Systems
Workflow and Business Processes

Designed by Adrian Mironescu