About Babeș-Bolyai University

Babeș-Bolyai University

The Babeș-Bolyai University (UBB) has become in time an emblem of success for Cluj and the entire country. It is a dynamic and constructive institution well integrated into society and oriented towards future, a future which it can design, prepare and build. An institution that can only be conceived within the framework that consecrated it, that of the universitas magistrorum et scholarium (“community of magistrates and disciples”), of the community of teachers and students, of the “corporation of equals” with an exclusive preoccupation for innovation and knowledge.

Founded in the XVI century, UBB has become a leading university not only in Romania, but in the whole region, with 21 faculties and over 40,000 students. Ranked largest university in Eastern and Central Europe (in number of students), and ranked first in Romania for academic and scientific perfomance, is proud about its history, its people and its multicultural mission.

Faculty of Mathematics and Computer Science

The Faculty of Mathematics and Computer Science is today a fortunate blend of tradition, experience and modernity in a large and prestigious University.

The Computer Science is undeniably the science of the present and, beyond all questions, of the future as well. The number of students attending the courses in this branch has rapidly increased and it is with absolute certainty that the graduates of Computer Science study programs can compete fearlessly and deeply confidently on the international labour market of Information Technology.

There are generations of graduates of Mathematics and Computer Science study programs, spread all over the country and in the whole world, who work for prestigious schools, for strong IT companies, or in different fundamental and applied research fields in universities or research institutes from Romania, Western Europe or United States.

Software Engineering Research Group

Software Engineering research is focused on the following directions:

(a) Program Analysis and Verification: formal mechanisms (such as Session Logic, K-framework) applied to specify and verify different program properties

(b) Software Quality: studies related to evaluation and estimation of software quality factors in large applications and in different versions, and their relation to OO metrics

(c) Model Driven Engineering: studies related to Executable Models and their specification language (fUML) and their impact on software development; as well as studies targeting the improvement of static semantics of modelling languages ad the use of OCL in this respect

(d) Component Based Software Engineering: deals with developing software as a composition of various third party components. Our studies address problems such as: component selection, constraint based configuration of components and different optimizations.

(e) Formal Concept Analysis (FCA): develop the theory of FCA, especially for higher-adic data sets as well as to develop efficient algorithms for mining and representing knowledge structures; apply FCA theory in order to mine for knowledge patterns encoded in various data sets from various application domains.