Examenul de admitere la FII:

  • înscrierea candidaţilor: 2 – 6 septembrie
  • selecția candidaților: 9 – 11 septembrie
  • afişarea rezultatelor: 12 septembrie
  • contestații (doar pentru proba scrisă): 13 septembrie
  • afișarea rezultatelor în urma contestațiilor: 16 septembrie

Subiectul pentru testul scris este propus de conducător pe baza temei de cercetare alese.

Interviul va consta într-o prezentare foarte scurtă a CV-ului şi o discuţie despre planul de cercetare pe tema aleasă.

Informaţii detaliate despre admiterea la doctorat la UAIC se găsesc aici.

Toti cei interesaţi de a urma cursurile doctorale la FII sunt rugaţi să ia legătura direct cu potenţialii coordonatori pentru a discuta posibilele teme de cercetare.

În cazul candidaților cu medii egale la examenul de admitere, departajarea se va face după media dintre nota finală la examenul de licenţă şi nota finală la examenul de disertaţie.

Tematică 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

 3. Temporalitate în limbajul natural

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ă

Bibliografie

  • 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), cu accent pe semantica limbajelor de programare.
 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.

 2. Semantica limbajelor de programare.

  • Bibliografie: Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction. Wiley Professional Computing, (240 pages, ISBN 0 471 92980 8), Wiley, 1992.

 3. 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.

Conf. univ. dr. Gloria-Cerasela Crișan

Inteligență artificială; Probleme de Optimizare Combinatorie
Interes specific de cercetare:
a) Metode exacte și euristice de rezolvare a problemelor de optimizare combinatorie.
b) Probleme de transport în care sunt incluse caracteristici GIS.
c) Modele ale problemelor reale din Transporturi și Logistica mărfurilor.
d) Evaluarea metodelor de rezolvare pentru Problema Comis-voiajorului.
e) Incertitudini în date și modul în care acestea se reflectă asupra algoritmilor de rezolvare pentru Problema Comis-voiajorului.

Bibliografie:

Prof. univ. dr. Cătălin Dima

Logică și Model Checking
1. Reprezentări eficiente ale spațiului stărilor în model-checking.
Studiul se va concentra pe impactul unor generalizări recente ale Diagramelor de Decizie Binară în verificarea proprietăților programelor, cu aplicații la probleme de model-checking pentru logici temporale epistemice.
2. Specificarea și verificarea proprietăților de securitate în logici temporale epistemice.
Tema propusă necesită transformarea modelelor simbolice ale protocoalelor de securitate în modele multi-agenți, formularea diferitelor proprietăți de securitate în logici temporale epistemice, apoi aplicarea unor algoritmi de model-checking existenți pentru verificarea proprietăților respective.

Bibliografie:

  • Christel Baier and Joost-Pieter Katoen : Principles of Model Checking, The MIT Press, 2008.
  • Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi : Reasoning About Knowledge, The MIT Press, 2004.
  • Nils Bulling, Valentin Goranko, and Wojciech Jamroga : Logics for Reasoning About Strategic Abilities in Multi-Player Games. In: J. van Benthem, S. Ghosh, R. Verbrugge (Eds.), Models of Strategic Reasoning. Logics, Games, and Communities. Lecture Notes in Computer Science vol. 8972, pp. 93-136. © Springer.

Cercet. ştiinţific I dr. Gabriel Ciobanu

1. Metode formale în sisteme distribuite (Formal Methods in Distributed Systems)
a) Algebre de procese și sisteme concurente
b) Semantici operaționale și denotaționale
c) Logici temporale, verificare automată
2. Calcul inspirat de natură (Natural Computing)
a) Sisteme membranare; calcul natural

Bibliografie:

  • John Hopcroft, Rajeev Motwani, Jeffrey Ullman: Introduction to Automata Theory, Languages and Computation
  • Michael Huth, Mark Ryan: Logic in Computer Science.Modelling and Reasoning about Systems
  • Robin Milner: Communicating and Mobile Systems: the pi-calculus. Cambridge University Press, 1999
  • Gabriel Ciobanu: Membrane Computing and Biologically Inspired Process Calculi. Ed. Univ. A.I.Cuza, 2010
  • G.Ciobanu: Semantica limbajelor de programare. Ed. Univ. A.I.Cuza, 1996
  • I.Creanga, C.Reisher, D.Simovici: Introducere algebrică în informatică; Teoria automatelor. Ed. Junimea, 1973
  • I.Purdea, Gh.Pic: Tratat de algebra moderna. Ed. Academiei, 1977/1982.