Research Groups
-
Agent Systems and Reinforcement LearningСreating new ways to train AI agents
-
Bioinformatics GroupАpplying computer science methods to real-world biological and medical problems
-
BioLabsUncovering the fundamental epigenetic regulation mechanisms and their role in cell differentiation and aging
-
Concurrent Computing LabDeveloping, verifying, testing, and benchmarking modern concurrent algorithms
-
Cryptographic LabThe study and application of cryptographic methods for information protection
-
Cyber-Physical Systems LabTheoretical foundations, languages and tools for developing control programs for cyber-physical systems
-
HoTT and Dependent Types GroupCreating a dependently typed language based on the homotopy type theory
-
Information Systems Engineering LabDatabases and information systems: architecture, query processing and optimization, physical design and adaptivity
-
Learning Research LabLongitudinal research to discover what factors help to improve academic achievement and provide success in STEM careers
-
Machine Learning Applications and Deep LearningApplications of state-of-the-art Machine Learning techniques to a multitude of different problems
-
Machine Learning Methods in Software EngineeringMerging best practices from both areas to create new ways to develop and improve code
-
Mobile Robot Algorithms LaboratoryDeveloping self-orientation algorithms for a mobile robot and solving the SLAM problem
-
Neurodevelopment and Neurophysiology GroupSimulation modeling of neural tissue development and involved cellular processes
-
Nuclear Physics Methods LaboratoryThe laboratory develops instruments and methods for particle physics research and other similar fields
-
Optimization Problems in Software EngineeringSolving hard optimization problems in different areas of software engineering
-
Paper-analyzerDeep learning–based tool for knowledge extraction from scientific biomedical papers
-
Parameterized Algorithms LaboratoryConstructing exact algorithms for computationally challenging problems by the careful understanding of the structure of a typical input
-
Programming Languages and Tools LabSupporting fundamental research into programming languages and tools