Forschungsgruppen
Neue Wege zur Ausbildung von KI-Agenten
Аnwendung von Methoden der Informatik auf reale biologische und medizinische Probleme
Aufdeckung der grundlegenden epigenetischen Regulationsmechanismen und ihrer Rolle bei der Zelldifferenzierung und Alterung
Simulationsmodellierung der Entwicklung neuronaler Gewebe und der beteiligten zellulären Prozesse
Erstellen einer abhängig typisierten Sprache basierend auf der Homotopietypentheorie
Entwicklung von Selbstorientierungsalgorithmen für einen mobilen Roboter und Lösung des SLAM-Problems
Theoretische Grundlagen, Sprachen und Tools zur Entwicklung von Steuerungsprogrammen für cyber-physische Systeme
Untersuchung von kollaborativen Prozessen in SE und darüber hinaus, um Kollaborationstools der nächsten Generation zu ermöglichen
Das Labor entwickelt Instrumente und Methoden für die Forschung in der Teilchenphysik und anderen ähnlichen Bereichen
Die Untersuchung und Anwendung kryptografischer Methoden zum Informationsschutz
Längsforschung, um die Faktoren herauszufinden, die zur Verbesserung der akademischen Leistungen und zum Erfolg in MINT-Berufen beitragen
Erstellen exakter Algorithmen für rechnerisch anspruchsvolle Probleme durch das sorgfältige Verständnis der Struktur einer typischen Eingabe
Anwendung formaler Methoden in der Softwareentwicklung zur Erstellung von Tools auf der Grundlage statischer Analyse, Überprüfung und Programmtransformation
Anwendung modernster Machine Learning-Techniken auf eine Vielzahl unterschiedlicher Probleme
Zusammenführung von Best Practices aus beiden Bereichen, um neue Möglichkeiten zur Entwicklung und Verbesserung von Code zu schaffen
Entwicklung, Überprüfung, Test und Benchmarking moderner nebenläufiger Algorithmen
Lösung von schwierigen Optimierungsproblemen in verschiedenen Bereichen der Softwareentwicklung
Deep Learning-basiertes Tool zur Wissensgewinnung aus wissenschaftlichen biomedizinischen Artikeln
Unterstützung der Grundlagenforschung für Programmiersprachen und -tools
Applying modern computing techniques to data analysis in astroparticle physics
Developing and analyzing algorithms for concurrent and distributed systems