Uniwersytet Warszawski University of Warsaw
Menu
Wyszukiwarka
 W bieżącym katalogu

Research topics

Applied Mathematics, Probability and Statistics

  • Hydromechanics,
  • Computational complexity and algorithms for continuous problems, Differential and Stochastical Models of Evolutionary Games,
  • Mathematical modelling and computer simulation in cancer therapy.
  • Brownian motions on fractal spaces, Infinite dimensional stochastic analysis, complex random choice schemes

Informatics

  • Mathematical methods for specification and verification of computer systems.
  • Bioinformatics: Algorithms for modelling of molecular evolution and protein folding.Mathematical models of the communication cost of access to databases, Computer-assissted prover for large-scale applications based on calculus of constructions, Complexity of client-server and client-agent-server database systems.
  • Type theory in functional and object programming, Computer assisted reasoning based on the type theory, Strong normalization of rewriting in calculus of constructions.
  • Architectures for mobility: communication topology, architectural specifications, verification techniques.
  • Games and automata for synthesis and validation.

Artificial intelligence

  • Representation of knowledge and inference in autonomous systems.
  • Approximate synthesis of decisions and specifications from complex autonomous or distributed knowledge bases.
  • Propositional logics and weak high-dimensional categories.

Pure Mathematics

  • Groups, semi-groups and rings.
  • Algebraic group actions; curves and surfaces on algebraic varieties.
  • Smooth dynamical systems.
  • Algebraic topology: homotopy theory, algebraic K-Theory, knots.
  • General Topology: Cantor manifolds, transfinite dimension, hereditarily indecomposable continua.

The organisational structure of the Faculty is quite flexible; there are many associations and migrations between the institutes. There are also several research groups consisting of members from two or more institutes. Each institute publishes a series of research reports.

Research work is conducted by groups, often supported by grants from the State Committee for Scientific Research (KBN) - The Polish governmental grant agency. At the moment of writng this note MIM Faculty held 26 such grants. Several research groups are supported by foreign and international institutions and projects; in particular the European Science Foundation, NATO, 5th EU Framework Programme, National Science Foundation (USA), various bilateral agreements.