|
Career summary
Publications
Courses
Projects
Links
Home
|
Projects:
CIRC - Verificare automata prin circularitati, CNCSIS ID 393/2007 (2007 - 2010)
INTEROB - Interactiunea gestuala cu sitemele informatice si robotice, CEEX 131/2006, (2006 - 2008)
Old:
I*Teach, 2005 - 2007
I*Teach Iasi, 2005 - 2007
AMASS(IP Core and System Design of Associative Memory Arrays for Semantic Search, FP6 018283, 2006 - 2007
Specificarea si verificarea sistemelor bazate pe componente concurente coordonate, CNCSIS 1162/2007
Metodologii generative pentru proiectarea masinilor abstracte, CNCSIS 966/2001, 315/2002.
DECOR, TEMPUS SJEP 468492/1, 1994
CompTrain , Tempus SJEP 11168-96
|
