Doctorat - Domeniul Informatică

Concursul de admitere la doctorat în domeniul Informatică va avea loc pe data de 13 septembrie ora 11

Misiune

Studiile doctorale în domeniul Informatică au fost iniÈ›iate la Facultatea de Matematică È™i Informatică a Universității din PiteÈ™ti în anul 2002, cu următorii conducători de doctorat: prof. univ. dr. LuminiÈ›a State (Universitatea din PiteÈ™ti), prof. univ. dr. Horia Georgescu (Universitatea din BucureÈ™ti) È™i prof. univ. dr. Tudor Bălănescu (Universitatea din PiteÈ™ti).

Direcțiile de cercetare principale așa cum au fost stabilite la acel moment, includeau:

• Artificial Intelligence and Machine Learning,

• Computational models and Computational Linguistic

• Software Engineering.

Ulterior, scolii doctorale i s-au alăturat prof. univ. dr. Nicolae Țăndăreanu (Universitatea din Craiova), prof. univ. dr. Florin Gorunescu (Universitatea de Medicină și Farmacie din Craiova) și prof. univ. dr. Florentin Ipate (Universitatea din Pitești).

Au fost elaborate teze specifice celor trei domenii menÈ›ionate, dar ulterior au fost intreprinse È™i cercetări care transgresau graniÈ›ele domeniilor, modelele de inteligență artificială È™i algoritmii specifici de Machine Learning fiind implementate utilizând metodologii moderne de programare È™i utilizând formalisme matematice de specificare, verificare (model checking) È™i validare (testing).

Pe parcurs, a căpătat consistență o direcÈ›ie de cercetare privind, modelele de calcul inspirate din biologie, aÈ™a numitele P-systems, introduse de academicianul Gheorghe Păun. Scoala doctorala de Informatică a Universității din PiteÈ™ti a avut o contribuÈ›ie meritorie în dezvoltarea acestui concept, îndeosebi în dezvoltarea metodologiilor de verificare È™i validare a acestor sisteme.

Obiective actuale

Obiectivele actuale ale domeniului Informatică sunt în principal orientate spre:

1. metodologiile de factură matematică pentru specificarea modelelor de sisteme de programe și fundamentarea teoretică a tehnicilor de automatizare a verificării proprietăților modelelor precum și de validare a implementărilor acestor modele, cu referință la cerințele de utilizare.

2. sistemele de natură distribuită șii cele care conduc la programare web.

3. specificarea utilizând formalisme de natură algebrică sau logică (axiomatică) precum È™i formalisme specifice domeniului lingvistică computaÈ›ională.

4. formalisme bazate pe mașini cu număr finit de stări (Finite State Machines și X-machines) și cele inspirate de modelul de calcul membranar (P-Systems).

5. aplicarea metodologiilor de verificare și validare a acțiunilor roboților.

Conducători de doctorat

Prof. univ. dr. Tudor Bălănescu - CV 

Prof. univ. dr. Horia Georgescu - CV   

Lista de doctoranzi 

Conținutul programului de studiu

Plan de învătământ 

FiÈ™e de disciplină 

Programa admitere doctorat septembrie 2021

Standarde de elaborare a tezei de doctorat