Research Groups
Fundamental and applied AI research
Applying modern computing techniques to data analysis in astroparticle physics
Uncovering the fundamental epigenetic regulation mechanisms and their role in cell differentiation and aging
Developing, verifying, testing, and benchmarking modern concurrent algorithms
Creating a dependently typed language based on the homotopy type theory
Studying collaborative processes in SE and beyond to enable next-generation collaboration tools
Merging best practices from both areas to create new ways to develop and improve code
Developing self-orientation algorithms for a mobile robot and solving the SLAM problem
Simulation modeling of neural tissue development and involved cellular processes
Deep learning–based tool for knowledge extraction from scientific biomedical papers
Supporting fundamental research into programming languages and tools
Applying formal methods in software development to creating tools based on static analysis, verification, and program transformation