Bioinformatics research
Applying technique from mathematics, informatics, statistics and computer science to solve biological problems.
Research Areas


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

Neural tissue activity modelingGaining 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.

RoboticsDesigning and programming robots to assist humans in the realworld environment.

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

Optimization methodsDesign and analysis of new algorithms and their software implementation.