Research

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