Faculty of
Computer Science

Admitere 2010 - şcoala doctorală

Număr de locuri

• 10 buget zi (fără bursă) și 4 taxă zi

Prima sesiune de admitere

• Înscrieri: 06-10 septembrie 2010
• Concurs: 14 septembrie 2010
• Contestații: 16 septembrie 2010

A doua sesiune de admitere (se organizează doar dacă este cazul)

• Înscrieri: 17-18 septembrie 2010
• Concurs: 23 septembrie 2010
• Contestații: 24 septembrie 2010

Concurs

• proba scrisă: Direcții de cercetare actuale în informatică – particularizare pentru domeniile de interes
• proba orală: Dezvoltarea unei teme de cercetare

Taxe

• Taxă de înscriere: 100 RON
• Taxa de şcolarizare pentru locurile cu taxă este de 3000 RON / an

Acte necesare pentru înscriere

• dosar plic
• fişa de înscriere în care se vor menţiona opţiunile pentru tutore, cu avizul acestuia
• curriculum vitae
• lista lucrărilor ştiinţifice ale candidatului
• atestat de cunoaştere a unei limbi străine, eliberat de către Facultatea de Litere a Univ.“Al.I.Cuza” Iaşi, înainte de susţinerea examenului de admitere, cu cel mult doi ani; excepţie fac cei care au absolvit o specializare simpla sau dublă, în titulatura căreia apare o limbă străină, a unei facultăţi aprobate, au testul DALF, TOEFEL sau alte certificate internationale recunoscute;
• copie legalizată după certificatul de naştere;
• copie legalizată după certificatul de căsătorie/de schimbare a numelui, daca este cazul
• copie legalizată după diploma de bacalaureat sau un act echivalent;
• copie legalizată dupa diploma de licenţă şi foaia matricolă;
• diploma de masterat sau un act echivalent şi foaia matricolă, in original (pentru absolvenţii de masterat din anul universitar current, adeverinţa de absolvire si foaia matricolă in original);
• chitanţa de achitare a taxei de înscriere.

Menţiuni

• Se pot înscrie pentru a susţine examenul de admitere la doctorat doar candidaţii care au un calificativ general echivalent unei medii de 8,00 pe durata studiilor de licenţă şi masterat.
• La concursul de admitere se pot înscrie absolvenţi cu diplomă de masterat (sau echivalentă) în domeniul de specialitate sau apropiat acestuia si absolvenţii din promoţiile anterioare sistemului Bologna care probează cu acte absolvirea a 5 ani de studii la zi în cadrul aceleiaşi facultăţi.
• Taxa de inscriere nu se restituie.
• Declaraţiile false sau uzul de fals al oricărui document din dosarul de admitere, atrag eliminarea din concursul de admitere şi aplicarea dispoziţiilor prevăzute in Codul Penal.

Tematica admitere doctorat

Prof. univ. dr. Dan Cristea

Sisteme expert şi prelucrarea limbajului natural

1. Corpusuri sintactice şi tehnici de bază în parsarea limbajului natural
   • Mitkov: The Oxford Handbook of Computational Linguistics, Oxford University Press, 2003 - chapter 12
   • Manning & Schutze: Foundations of Statistical Natural Language Processing, The MIT Press, 1999, chapter 12
   • Bohmova et al.: The Prague Dependency Treebank: A Three-Level Annotation Scenario (pdf)
2. Teorii şi tehnici de prelucrarea discursului
   • Mitkov: The Oxford Handbook of Computational Linguistics, Oxford University Press, 2003 - chapters 10, 14
   • Mitkov: Anaphora Resolution, Longman, 2002 - chapter 8
   • Cristea et al.: Veins Theory: A Model of Global Discourse Cohesion and Coherence, ACL 1998, http://citeseer.ist.psu.edu/cristea98veins.html

Prof. univ. dr. Henri Luchian

Metode de optimizare inspirate din natură:

1. Calcul evolutiv
2. Algoritmi genetici
3. Meta-euristici
4. Rezultate fundamentale privind complexitatea algoritmilor inspiraţi din natură.

• Z.Michalewicz: Genetic Algorithms & Data Structures = Evolution Program Springer Verlag (Biblioteca de Informatică).
• M.Mitchell: Introduction to GA MIT Press (Biblioteca de Informatică).
• H.Luchian: Clasificare evolutivă (Biblioteca de Informatică).

Prof. univ. dr. Dorel Lucanu

Metode formale aplicate in Ingineria Software (specificare, verificare, testare, analiza statica, modelare) şi în Semantic Web.
Pentru examenul de admitere este suficientă cunoaşterea unuia din următoarele domenii:

1. Logica de ordinul I. Cunoaşterea de logici temporale, sau logica Hoare, logica ecuațională, sau a unui demonstrator de teoreme constituie un avantaj.
   Bibliografie: Michael Huth and Mark Ryan. Logic in Computer Science. Modelling and reasoning about systems. Cambridge University Press 2004.
   sau
2. Specificare algebrică şi rescriere. Cunoaşterea unui limbaj algebric (Maude, CafeOBJ, CASL, TOM, etc) constituie un avantaj.
   Bibliografie: F. Baader, T. Nipkow. Term Rewriting and All That. ISBN0-521-77920-0, Cambridge University Press, 1998
   sau
3. Inginerie software. O cunoaştere a UML-ului constituie un avantaj.
   Bibliografie: Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli. Fundamentals of Software Engineering. Prentice Hal,.2002
   sau
4. Programare orientată-obiect: teorie și practică.
   Bibliografie: Bertrand Meyer. Object-Oriented Software Construction, Prentice-Hall International Series in Computer Science, 2000

Prof. univ. dr. Ferucio Laurenţiu Ţiplea

Criptografie

1. Modelare și verificare (tehnici de modelare folosind teoria automatelor, rețele Petri și tehnici de algebre universale, tehnici de verificare bazate pe logici temporale, problema accesibilității, modularizare și abstracție).
   Pentru examenul de admitere este necesară o cunoaștere sumară a teoriei automatelor și problemelor fundamentale ce se pun în legatură cu acestea.
2. Criptografie și protocoale de securitate (elemente de criptografie pură, modelare și verificare a protocoalelor de securitate)
   Pentru examenul de admitere este necesară o cunoaștere sumară a teoriei securității informației așa cum este predată în cursul Securitatea Informației (an III) sau Protocoale de Securitate (Master Sisteme Distribuite).

• E. Clarke, O. Grumberg, D. Peled: Model Checking, MIT Press 1999.
• F.L. Ţiplea: Curs de criptografie, Facultatea de Informatică, Univ. “Al.I.Cuza” Iaşi.
• F.L. Ţiplea: Curs de securitatea informației, Facultatea de Informatică, Univ. “Al.I.Cuza” Iaşi.