Research, international relations

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

Further info...