Bioinformatics

In our Bioinformatics research we apply methods from computer science and mathematics in medicine and biology. Besides the more traditional approaches in systems and computational biology, which customarily rely on continuous models, e.g., differential equations, we use methods of algorithmic nature. They entail executable models, based on discrete mathematical formalisms like graphs, formal grammars, and automata. Model checking and the other algorithmic techniques that we use, are both alternative and complementary to the traditional approaches. We aim at developing cutting-edge scalable solutions that are able to cope with big data challenges in the context of high-throughput experiments. To this end we capitalize on the capabilities of the state-of-the art parallel technology, like GPUs and multi-core processors.
Some examples of our research include
Reconstruction of Biological Networks
Reconstruction of biological networks from high-throughput data is one of the main challenges of computational biology. The...
Read moreStochastic models of ribosome kinetics
The translation mechanism that synthesizes proteins based on mRNA sequences is a fundamental process of the living cell. Since...
Read morePatterns in the genetic code
The origin and evolution of the genetic code remains an unsolved mystery. Genetic code defines how the genetic information in the...
Read moreAnalysis of genetic networks with model checking
Over the last decades, biological networks, like signal transduction pathways, metabolic pathways, and genetic networks, have...
Read more
Contact
For more information, please contact dr. Dragan Bosnacki