Faculty of Informatics

This is one of the newest faculty (founded in 2003) of the oldest Hungarian university, which was founded in 1635 by Cardinal Péter Pázmány. The Faculty of Informatics considers its main task the training of informatics experts and teachers as well cartographers and geoinformatical specialists. In the more than 6 years that have passed since founding, our Faculty has educated fine members of hungarian academic and business life. The high standard of training is guaranteed by the highly qualified academic staff at Faculty of Informatics. The teaching is supported by modern infrastructure and well equipped computer labs (artificial intelligence, databases, robotics etc.). In addition to the high level of theoretical training, our relationships with the business community, the joint research and development projects offer up-to-date practical knowledge and experience to the students. Our academic programmes, restructured from 2006 according to the Bologna Process, enable easy transfer between our Faculty and other university-level institutions within the EU.

The Faculty has concluded bilateral agreements with numerous universities in the world, which allows the students to study one or two semesters or participate in research projects at a partner institution. Extracurricular undergraduate research activities of the students are supported and supervised by leading scientists of the Faculty. These students present their findings at a conference organized by the Faculty every year. Workshops are also organized with international partners. We also receive guest lecturers from foreign universities.
Our research interest:
Function approximation, applications of signal processing
(mobile Electro-Cardio Gram, real-time melody recognition)
Partial differential equations
(fluid-flow computations, numerical turbulence closure models)
Machine learning
(reinforcement learning, robotic intelligence, self-organizing
cooperation)
Raster image interpretation, digital map store, GPS applications
Computational number theory
(Sophie Germain primes, generalised binary systems)
E-learning methods (telementoring, NETLogo Microwords)
Development of verified software components, application the
B-method, program synthesis
Functional languages, static semantic analysis, verication,
refactoring
... and much more