Research Areas

• 
  Bioinformatics research

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

  • BioLabs
  • Bioinformatics Group
• 
  Knowledge Base in Math

  Developing new approaches and software tools to make advanced mathematical studies more efficient and assist researchers by automatically checking formal proofs.

  • HoTT and Dependent Types Group
• 
  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.

  • Neurophysiology and Neural Network Modeling 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
  • Program Analysis and Verification Lab
• 
  Optimization methods

  Design and analysis of new algorithms and their software implementation.

  • Optimization Problems in Software Engineering