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