Faculty of
Computer Science

Doctoral School

Admission contest for the Doctoral School in the academic year 2009-2010

Within the Faculty of Computer Science, a Doctoral School is functioning, co-ordinated by a scientific board.

Supervisors

Professor Dan Cristea

• Human Language Technologies
• Artificial Intelligence

Professor Toader Jucan

• Distributed Systems (Formal Modeling and Verification)
• Automata and Formal Languages

Professor Dorel Lucanu

• Formal Methods Applied in Software Engineering and Semantic Web

Professor Henri Luchian

• Evolutionary Computing

Professor Ferucio Ţiplea

• Formal Models and Verification (automata theory, Petri nets, universal algebras, temporal logics)
• Cryptography and Security Protocols (pure cryptography, security protocols modeling and verification)

Associate supervisor

Professor Dumitru Todoroi

• Object-Oriented Programming
• Methods of Adaptive Programming
• Natural Language Processing

For more details, please address to the service of Doctoral Studies and University Scientific Research Department.