Research Areas

• 
  Bioinformatics research

  Applying technique from mathematics, informatics, statistics and computer science to solve biological problems.

  • BioLabs
  • Bioinformatics Group
• 
  Applied mathematics and physics

  Application of mathematical methods, algorithms in other areas of science and technology.

  • HoTT and Dependent Types Group
  • Cryptographic Lab
  • Nuclear Physics Methods Laboratory
• 
  Neural tissue activity modeling

  Gaining new insights and solutions in the neural modeling field by applying biological principles to describe both network structure and learning strategies on the cellular level.

  • Neurodevelopment and Neurophysiology Group
• 
  Robotics

  Designing and programming robots to assist humans in the real-world environment.

  • Mobile Robot Algorithms Laboratory
• 
  Programming Languages

  Supporting a fundamental research on programming languages and means of software development.

  • Programming Languages and Tools Lab
  • Verification or Program Analysis Lab
• 
  Optimization methods

  Design and analysis of new algorithms and their software implementation.

  • Optimization Problems in Software Engineering
• 
  Machine Learning

  Learning and adapting to new data without human interference.

  • Machine Learning Methods in Software Engineering
  • Machine Learning Applications and Deep Learning
  • Agent Systems and Reinforcement Learning
• 
  Algorithms

  Solving computationally challenging problems using modern techniques of designing algorithms

  • Parameterized Algorithms Laboratory