Research Areas

• 
  Bioinformatics research

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

  • BioLabs
  • Bioinformatics Group
• 
  Applied mathematics

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

  • HoTT and Dependent Types Group
  • Cryptographic Lab
• 
  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
• 
  Machine Learning

  Learning and adapting to new data without human interference.

  • Machine Learning and Information Management Lab
  • Machine Learning Methods in Software Engineering
  • Machine Learning and Applications Group
  • Human-AI Interaction Group