
Research
Research
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
Research at Department of Programming Languages And Compilers department
- static semantic analysis using compiler technologies
- functional programming
- language extensions (subtype marks, object abstraction,
distributed and parallel programming) - verification of software (both imperative and functional)
- verification of functional programs
- compiling specification and correctness proofs to programs
- refactoring for functional languages
- software metrics (multiparadigm, OO metrics on .NET)
- generative programming, C++ template metaprogramming
(Boost template introspection library) - distributed programming, GRID technologies (adaptive job
schedulers) - distributed, multi-layered, version controlled, XML-based
epigraphical text processing for philologists working on
palimpsests